Commit message (Expand) | Author | Age | |
---|---|---|---|
* | removes several warnings in contrib/interface | 2006-01-11 | |
* | Restructuration et simplification des fonctions d'affichage, de détypage | 2006-01-11 | |
* | Achèvement suppression traducteur dans contrib/interface | 2005-12-26 | |
* | In Pcoq, the search commands had an erroneous behavior. Bound variables | 2002-01-23 | |
* | compat ocaml 3.03 | 2001-12-13 | |
* | Adding files for the production of textual explanations as used in pcoq. | 2001-04-18 |