aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/jprover
Commit message (Expand)AuthorAge
* Restructuration et simplification des fonctions d'affichage, de détypageGravatar herbelin2006-01-11
* Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...Gravatar herbelin2005-12-26
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* inclusion de meta_map dans evar_defsGravatar barras2004-09-12
* Redirected some of the verbose jprover output through the Pp module.Gravatar corbinea2003-10-30
* Jprover bugfix (hopefully !)Gravatar corbinea2003-10-23
* typoGravatar courant2002-11-13
* Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.vGravatar herbelin2002-05-29
* Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.vGravatar herbelin2002-05-29
* jLogic.mli remplace par jolic.mliGravatar herbelin2002-04-17
* Refine the procedure that generalizes context to current goal.Gravatar huang2002-04-15
* *** empty log message ***Gravatar huang2002-04-04
* Add citationsGravatar huang2002-04-04
* An intuitionistic first-order theorem prover -- JProver.Gravatar huang2002-03-22