aboutsummaryrefslogtreecommitdiffstats
path: root/doc
Commit message (Expand)AuthorAgeFilesLines
* 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
* Late update for 1.11xleroy2012-07-131-4/+6
* Merge of the newmem branch:xleroy2012-05-211-1/+18
* MAJ docv1.10xleroy2012-03-121-11/+5
* Doc fixesxleroy2011-08-232-2/+3
* Changelog, doc: updated for release 1.9v1.9xleroy2011-08-221-1/+9
* Update for release 1.8.2xleroy2011-05-241-29/+38
* Renamed Machconcr into Machsem.xleroy2011-04-091-2/+1
* Update for 1.8.1xleroy2011-03-141-2/+2
* Update for release 1.8xleroy2010-09-211-5/+12
* Merge of branches/full-expr-4:xleroy2010-08-181-8/+17
* Clean upxleroy2010-05-261-25/+0
* Update for 1.7xleroy2010-03-302-2/+8
* TeX and HTML escapesxleroy2010-03-121-0/+4
* New HTML documentation generatorxleroy2010-03-094-35/+559
* MAJ release 1.6xleroy2010-01-121-8/+5
* Last updates for release 1.5.v1.5xleroy2009-08-281-8/+16
* MAJxleroy2009-07-151-11/+12
* Various clean-upsv1.4xleroy2009-04-171-2/+9
* Update for release 1.3xleroy2008-08-111-1/+2
* Plus besoin de rectifier les URL invalidesxleroy2008-08-011-0/+2
* Revu removeproofxleroy2008-03-193-25/+42
* MAJxleroy2007-10-172-5/+6
* Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...xleroy2007-08-282-2/+5
* Documentationxleroy2007-08-051-21/+35
* Fusion des modifications faites sur les branches "tailcalls" et "smallstep".xleroy2007-08-045-8545/+334
* MAJ fichier ppalxleroy2006-02-091-63/+63
* Initial import of compcertxleroy2006-02-094-0/+8585
generated by cgit (git 2.34.1) at 2024-06-02 23:47:29 +0000