Commit message (Expand) | Author | Age | |
---|---|---|---|
* | commentaire | 2003-02-06 | |
* | MAJ syntaxe modules + nouveau fichier mod_decl qui explique tout | 2003-01-31 | |
* | Remplacement de Syntactic Definition par Notation | 2002-11-24 | |
* | Encore quelques rangements dans Nametab + petits trucs | 2002-09-27 | |
* | Encore quelques tests sur modules... | 2002-08-16 | |
* | Petites corrections ici et la | 2002-08-13 | |
* | Modules dans COQ\!\!\!\! | 2002-08-02 |