Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge from Lionel Elie Mamane's private branch: | 2007-01-10 | |
* | removes several warnings in contrib/interface | 2006-01-11 | |
* | Restructuration et simplification des fonctions d'affichage, de détypage | 2006-01-11 | |
* | In Pcoq, the search commands had an erroneous behavior. Bound variables | 2002-01-23 | |
* | Adding files for the production of textual explanations as used in pcoq. | 2001-04-18 | |
* | Files that handle the dialogue with the graphical user-interface pcoq. | 2001-04-04 |