Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Conformité nouveaux principes: Declare Module non utilisable pour définir u... | 2006-05-10 | |
* | Test synchronisation chargement objets non logiques | 2006-04-15 | |
* | Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8 | 2005-12-21 | |
* | MAJ syntaxe v7 avant activation en syntaxe v8 | 2005-12-21 | |
* | Anciennement déplacé dans 'output' | 2005-12-21 | |
* | Simplest Demo on modules | 2003-11-28 | |
* | L'exemple phare de modules - simplifie pour TPHOLs | 2003-09-22 | |
* | Corrige Bug (PR#290) | 2003-05-05 | |
* | 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 |