Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Nettoyage | 2002-10-13 | |
* | Utilisation d'Infix/Distfix autant que possible | 2002-05-29 | |
* | option -dump-glob pour coqdoc | 2002-02-14 | |
* | Syntaxe IF then else au lieu de either and_then or_else | 2002-02-14 | |
* | MAJ des Id pour coqweb | 2002-01-09 | |
* | entetes | 2001-03-15 | |
* | Bug dans la règle de syntaxe de ex2 | 2000-11-20 | |
* | Parsing des motifs de Syntax avec la grammaire associée à l'univers de la d... | 2000-10-18 | |
* | Plus de piquants dans les actions des grammaires; nom de la grammaire pris co... | 2000-07-28 | |
* | t -> $t dans regle grammaire EX | 2000-03-10 | |
* | Renommage command en constr | 2000-01-07 | |
* | - méthode load sur les Hints | 1999-12-13 | |
* | fichiers prelude Coq | 1999-12-13 |