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