Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Extension coerce_to_var | 2001-02-05 | |
* | Prise en compte des noms longs dans les Hints et les Coercions | 2001-01-24 | |
* | Bug dans les alias de Cases | 2000-12-14 | |
* | section_path etait en fait bonne dans ast et buggee dans printer.ml | 2000-12-06 | |
* | 2ème bug de traduction des Path | 2000-12-06 | |
* | Bug de traduction des Path | 2000-12-06 | |
* | Prise en compte constructeur QUALID pour noms qualifiés | 2000-11-20 | |
* | Plus de piquants dans les actions des grammaires; nom de la grammaire pris co... | 2000-07-28 | |
* | Intégration initiale du Cases | 1999-12-11 | |
* | Suppression Rel de rawconstr et correction de bugs d'affichage | 1999-12-10 | |
* | modifs pour premiere edition de liens | 1999-12-02 | |
* | portage Astterm (partiellement) | 1999-11-29 | |
* | module Classops; ajout de fonctions dans Declare en consequence | 1999-11-26 | |
* | module Termast | 1999-11-26 | |
* | modules Ast et Pcoq | 1999-09-08 |