Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Preprend Fail to all the expected failures in the documentation. | 2015-03-05 | |
* | Fix some typos in the documentation. | 2015-01-29 | |
* | Fix some broken Coq scripts in the reference manual. | 2015-01-29 | |
* | "allows to", like "allowing to", is improper | 2014-08-25 | |
* | Making references to Proof General and CoqIDE uniform in Reference Manual. | 2014-08-05 | |
* | - Fixing declarative mode in presence of high use of Change_evars nodes | 2009-05-20 | |
* | Backporting from v8.2 to trunk: | 2009-01-18 | |
* | - Rebranchement backtrack du langage déclaratif dans Coqide | 2008-07-18 | |
* | Added full documentation for mathematical mode (draft version) | 2008-01-29 |