aboutsummaryrefslogtreecommitdiffstats
path: root/doc
Commit message (Expand)AuthorAgeFilesLines
...
* Document new named warning for flexible arrays, bug 23324Michael Schmidt2018-08-211-1/+1
* Document new named warning for flexible arrays, bug 23324Michael Schmidt2018-08-211-0/+4
* Remove undocumented option.Bernhard Schommer2018-08-071-4/+0
* Typo in Ctyping entryXavier Leroy2018-06-171-1/+1
* bug 23325, document recently introduced named warningsMichael Schmidt2018-06-051-2/+2
* bug 23325, document recently introduced named warningsMichael Schmidt2018-06-051-3/+3
* bug 23325, document recently introduced named warningsMichael Schmidt2018-06-051-1/+1
* bug 23325, document recently introduced named warningsMichael Schmidt2018-06-051-4/+28
* bug 23325, document changed default for c11 named warningMichael Schmidt2018-06-051-1/+1
* Use the standalone coq2html tool to generate the HTML documentationXavier Leroy2018-06-015-752/+115
* Update for release 3.3v3.3Xavier Leroy2018-05-301-1/+1
* coq2html: use OCaml's alternate string literals for multi-line stringsXavier Leroy2018-05-301-15/+15
* Update manpage for new warning name classMichael Schmidt2018-03-081-0/+4
* Preparations for release 3.2Xavier Leroy2018-01-131-4/+4
* Mention the RISC-V port as wellXavier Leroy2018-01-131-1/+1
* Update man page for new Diab target optionMichael Schmidt2018-01-081-6/+8
* Update man page for new Diab target optionMichael Schmidt2018-01-081-0/+6
* Inlining of static functions which are only called once. (#37)Bernhard Schommer2017-12-071-0/+5
* Update documentation index for release 3.1v3.1Xavier Leroy2017-08-181-23/+17
* Update documentation entry point for release 3.0 (retroactively)Xavier Leroy2017-07-131-5/+8
* Add optimization option finline.Bernhard Schommer2017-04-071-0/+5
* update manpage for new optionsMichael Schmidt2017-02-211-4/+16
* drop .cm support from man pageMichael Schmidt2017-02-151-4/+0
* mention share directory for -target optionMichael Schmidt2017-01-261-0/+1
* describe -conf and -targetMichael Schmidt2017-01-261-0/+11
* describe environment variable for configuration fileMichael Schmidt2017-01-261-2/+10
* bug 20679, more precise description of -gMichael Schmidt2017-01-171-1/+1
* Fix typosMichael Schmidt2017-01-041-2/+2
* bug 20593, document new warning class in man-pageMichael Schmidt2016-12-141-0/+4
* fix targets in section for code generation optionsMichael Schmidt2016-12-021-1/+5
* update info about x86 in manpageMichael Schmidt2016-11-031-2/+2
* Minor improvementsMichael Schmidt2016-10-171-4/+4
* Update description for debugging optionsMichael Schmidt2016-10-141-4/+3
* Add a man-pageMichael Schmidt2016-10-141-0/+534
* Update in preparation for release 2.7Xavier Leroy2016-06-221-3/+3
* Also enable warnings for doc generator.Bernhard Schommer2016-04-061-6/+6
* Upgrade for release 2.6.Xavier Leroy2015-12-211-1/+8
* Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-201-5/+5
* Preserve ordinary comments within proof scripts.Xavier Leroy2015-06-112-6/+31
* Update for release 2.5.Xavier Leroy2015-06-111-6/+15
* Update Coq documentationv2.3xleroy2014-05-051-3/+3
* Updates for release 2.2xleroy2014-02-212-5/+28
* Late update for release 2.1.xleroy2013-10-281-1/+1
* Version 2.00 -> version 2.0v2.0xleroy2013-06-211-1/+1
* Updates in preparation for release 2.00xleroy2013-06-191-47/+16
* Use "-as" to put CompCert modules in a compcert.xxx namespace.xleroy2013-05-011-6/+14
* Updating doc for 1.13xleroy2013-03-111-8/+5
* Updated documentationv1.12xleroy2013-01-112-14/+14
* Update for release 1.12xleroy2013-01-091-3/+8
* Make Clight independent of CompCert C.xleroy2012-10-081-1/+4
generated by cgit (git 2.34.1) at 2024-05-09 10:39:57 +0000