| Commit message (Expand) | Author | Age |
* | Fix dependency bugs due to Program modules renamings. | msozeau | 2007-08-08 |
* | Move Program tactics into a proper theories/ directory as they are general pu... | msozeau | 2007-08-07 |
* | Modification des propriétés (svn:executable) | notin | 2006-03-17 |
* | Nouveau fichier Tactics.v collectant les tactiques utiles des utilisateurs | herbelin | 2005-02-03 |
* | Nouvelle en-tête | herbelin | 2004-07-16 |
* | Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ... | herbelin | 2003-11-29 |
* | Ordre (symbolique) des Require | herbelin | 2003-10-28 |
* | Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type... | herbelin | 2003-09-23 |
* | Suppression DatatypesSyntax et PeanoSyntax qui était vides | herbelin | 2003-09-12 |
* | Deplacement delimiteur T dans Notations | herbelin | 2003-06-10 |
* | Concentration des notations officielles dans Init/Notations; restructuration ... | herbelin | 2003-05-21 |
* | Essai d'introduction d'un scope des types | herbelin | 2002-12-03 |
* | Mise en place d'ensembles de notations symboliques pour nat, Z et R | herbelin | 2002-10-13 |
* | MAJ des Id pour coqweb | herbelin | 2002-01-09 |
* | entetes | filliatr | 2001-03-15 |
* | fichiers prelude Coq | filliatr | 1999-12-13 |