Commit message (Expand) | Author | Age | |
---|---|---|---|
* | - 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 |