Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Petite simplification en passant | 2006-03-04 | |
* | Typo | 2004-08-03 | |
* | Nouvelle en-tĂȘte | 2004-07-16 | |
* | Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ... | 2003-11-29 | |
* | Prise en compte des dependances dans la tactique Case | 2002-03-26 | |
* | option -dump-glob pour coqdoc | 2002-02-14 | |
* | Protection des commentaires pour coqtex et coqweb | 2001-08-13 | |
* | Ajout du paradoxe de Berardi dans Logic (preuve que EM => PI dans CCI) | 2001-06-18 |