aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/first-order/sequent.ml
Commit message (Expand)AuthorAge
* Suppression de la dépendance en Map.fold de ocaml dont la sémantique aGravatar herbelin2006-01-24
* Restructuration et simplification des fonctions d'affichage, de détypageGravatar herbelin2006-01-11
* Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*...Gravatar herbelin2005-12-26
* Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...Gravatar herbelin2005-12-26
* Changement des named_contextGravatar gregoire2005-12-02
* Adoption du nom canonique global_of_constr pour éviter confusion avec type r...Gravatar herbelin2005-05-20
* Standardisation of function names about global references (especially, renami...Gravatar herbelin2005-02-18
* Nouvelle en-têteGravatar herbelin2004-07-16
* ground->firstorder, cc-> congruence, CC final commitGravatar corbinea2003-11-29
* addition of Auto hints in GroundGravatar corbinea2003-07-03
* added hints into GroundGravatar corbinea2003-07-02
* Ground Update.Gravatar corbinea2003-06-20
* Ground major update ... mmm, sounds exciting !Gravatar corbinea2003-06-15
* Major Ground update, may break semanticsGravatar corbinea2003-06-14
* Ground updateGravatar corbinea2003-06-13
* Ground update, new files.Gravatar corbinea2003-06-13
* Ground update.Gravatar corbinea2003-06-13
* Ground update + some bugfixGravatar corbinea2003-06-04
* Ground daily updateGravatar corbinea2003-05-29
* Ground and CCsolve updatesGravatar corbinea2003-05-25
* Major Ground tactic update, sensible performance improvementGravatar corbinea2003-05-16
* bugfixes in Ground.Gravatar corbinea2003-05-08
* Enhancement of the Ground tactic, addition of GTauto and GIntuition.Gravatar corbinea2003-05-07
* bugfix in Ground tacticGravatar corbinea2003-04-26
* Added the Ground tactic.Gravatar corbinea2003-04-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 16:46:08 +0000