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