Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update VERSION for release 2.6 | Xavier Leroy | 2015-12-19 | 1 | -2/+2 |
* | Removed the version from the compcert.ini file and add it again in a separate... | Bernhard Schommer | 2015-07-01 | 1 | -1/+3 |
* | Trim blank linesv2.4 | xleroy | 2014-09-17 | 1 | -2/+0 |
* | Update changelog and version for 2.4 | xleroy | 2014-09-17 | 1 | -1/+2 |
* | Bumpv2.3pl2 | xleroy | 2014-05-15 | 1 | -1/+2 |
* | Bump | xleroy | 2014-05-09 | 1 | -1/+1 |
* | Update for release 2.3. | xleroy | 2014-05-05 | 1 | -2/+0 |
* | Bump version number before I forget | xleroy | 2014-05-01 | 1 | -1/+1 |
* | Axioms: remove prop_ext, currently unused AND unsound in Coq 8.4. | xleroy | 2013-12-15 | 1 | -2/+1 |
* | Version 2.00 -> version 2.0v2.0 | xleroy | 2013-06-21 | 1 | -1/+1 |
* | Update version number | xleroy | 2013-06-16 | 1 | -1/+2 |
* | Updated for version 1.13 | xleroy | 2013-03-11 | 1 | -1/+2 |
* | Support for indirect symbols under MacOS X (final). | xleroy | 2012-07-14 | 1 | -1/+2 |
* | A file with the version number | xleroy | 2012-03-28 | 1 | -0/+1 |