Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Restructuration et simplification des fonctions d'affichage, de détypage | 2006-01-11 | |
* | Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme... | 2005-12-26 | |
* | Nettoyage suite à la détection par défaut des variables inutilisées par o... | 2005-11-08 | |
* | inclusion de meta_map dans evar_defs | 2004-09-12 | |
* | Redirected some of the verbose jprover output through the Pp module. | 2003-10-30 | |
* | Jprover bugfix (hopefully !) | 2003-10-23 | |
* | typo | 2002-11-13 | |
* | Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.v | 2002-05-29 | |
* | Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.v | 2002-05-29 | |
* | jLogic.mli remplace par jolic.mli | 2002-04-17 | |
* | Refine the procedure that generalizes context to current goal. | 2002-04-15 | |
* | *** empty log message *** | 2002-04-04 | |
* | Add citations | 2002-04-04 | |
* | An intuitionistic first-order theorem prover -- JProver. | 2002-03-22 |