Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | etoffage des notions de permutations (a la fois List.Permutation et Permutati... | 2006-05-16 | ||
* | quelques ajouts venant des fichiers de Evelyne C. | 2006-05-11 | ||
* | Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '... | 2006-04-28 | ||
* | Minimum pour documentation TeX de la biblio | 2006-02-22 | ||
* | Nouvelle en-tête | 2004-07-16 | ||
* | Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ... | 2003-11-29 | ||
* | Cacher les .v8 | 2003-10-03 | ||
* | Uniformisation (Qed/Save et Implicits Arguments) | 2002-04-17 | ||
* | option -dump-glob pour coqdoc | 2002-02-14 | ||
* | remise au gout du jour du repertoire theories/Sorting de la V6.3 | 2001-11-21 |