aboutsummaryrefslogtreecommitdiff
path: root/contrib/first-order/sequent.ml
AgeCommit message (Expand)Author
2006-01-24Suppression de la dépendance en Map.fold de ocaml dont la sémantique aherbelin
2006-01-11Restructuration et simplification des fonctions d'affichage, de détypageherbelin
2005-12-26Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*...herbelin
2005-12-26Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...herbelin
2005-12-02Changement des named_contextgregoire
2005-05-20Adoption du nom canonique global_of_constr pour éviter confusion avec type r...herbelin
2005-02-18Standardisation of function names about global references (especially, renami...herbelin
2004-07-16Nouvelle en-têteherbelin
2003-11-29ground->firstorder, cc-> congruence, CC final commitcorbinea
2003-07-03addition of Auto hints in Groundcorbinea
2003-07-02added hints into Groundcorbinea
2003-06-20Ground Update.corbinea
2003-06-15Ground major update ... mmm, sounds exciting !corbinea
2003-06-14Major Ground update, may break semanticscorbinea
2003-06-13Ground updatecorbinea
2003-06-13Ground update, new files.corbinea
2003-06-13Ground update.corbinea
2003-06-04Ground update + some bugfixcorbinea
2003-05-29Ground daily updatecorbinea
2003-05-25Ground and CCsolve updatescorbinea
2003-05-16Major Ground tactic update, sensible performance improvementcorbinea
2003-05-08bugfixes in Ground.corbinea
2003-05-07Enhancement of the Ground tactic, addition of GTauto and GIntuition.corbinea
2003-04-26bugfix in Ground tacticcorbinea
2003-04-25Added the Ground tactic.corbinea
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-10 15:38:15 +0000