aboutsummaryrefslogtreecommitdiffstats
path: root/VERSION
Commit message (Expand)AuthorAgeFilesLines
* First update for release 3.10Xavier Leroy2021-11-161-1/+1
* Update for release 3.9Xavier Leroy2021-05-101-1/+1
* Updates for release 3.8v3.8Xavier Leroy2020-11-161-1/+1
* Introduce additional "branch" build information.Bernhard Schommer2020-07-081-0/+1
* Updates for release 3.7v3.7Xavier Leroy2020-03-311-1/+1
* Updates in preparation for release 3.6Xavier Leroy2019-09-161-1/+1
* Update version number for 3.5v3.5Xavier Leroy2019-02-281-1/+1
* Update version and change log in preparation for public release 3.4Xavier Leroy2018-09-121-1/+1
* Updates for public release 3.3Xavier Leroy2018-05-301-1/+1
* Bump to version 3.2Xavier Leroy2018-01-131-1/+1
* Update version to 3.1Michael Schmidt2017-09-211-1/+1
* Release 3.0.1 here we comev3.0.1Xavier Leroy2017-02-141-1/+1
* Release 3.0 here we comev3.0Xavier Leroy2017-02-101-1/+1
* Port to Coq 8.5pl2Xavier Leroy2016-07-081-1/+1
* Update VERSION for release 2.6Xavier Leroy2015-12-191-2/+2
* Removed the version from the compcert.ini file and add it again in a separate...Bernhard Schommer2015-07-011-1/+3
* Trim blank linesv2.4xleroy2014-09-171-2/+0
* Update changelog and version for 2.4xleroy2014-09-171-1/+2
* Bumpv2.3pl2xleroy2014-05-151-1/+2
* Bumpxleroy2014-05-091-1/+1
* Update for release 2.3.xleroy2014-05-051-2/+0
* Bump version number before I forgetxleroy2014-05-011-1/+1
* Axioms: remove prop_ext, currently unused AND unsound in Coq 8.4.xleroy2013-12-151-2/+1
* Version 2.00 -> version 2.0v2.0xleroy2013-06-211-1/+1
* Update version numberxleroy2013-06-161-1/+2
* Updated for version 1.13xleroy2013-03-111-1/+2
* Support for indirect symbols under MacOS X (final).xleroy2012-07-141-1/+2
* A file with the version numberxleroy2012-03-281-0/+1
generated by cgit (git 2.34.1) at 2024-04-27 05:25:45 +0000