aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/first-order
Commit message (Expand)AuthorAge
* correction de bugs de congruence et firstorder (inductifs)Gravatar corbinea2004-02-06
* Retablissement de GIntuition juste pour FSetsGravatar herbelin2003-12-23
* *** empty log message ***Gravatar barras2003-12-23
* ground->firstorder, cc-> congruence, CC final commitGravatar corbinea2003-11-29
* factorisation et generalisation des clausesGravatar barras2003-11-13
* Traduction semantique des InHyp de clause en InHypValue si local defGravatar herbelin2003-11-09
* Ground update changing left-arrow-arrow rule.Gravatar corbinea2003-10-13
* Changement de l'afficheur pour que les variables liées aient un nom indépen...Gravatar herbelin2003-09-23
* Passage à la V8 par défautGravatar herbelin2003-09-22
* Ground bugfixGravatar corbinea2003-07-11
* Ground updateGravatar corbinea2003-07-08
* Ground bugfixGravatar corbinea2003-07-04
* switching back to old tautoGravatar corbinea2003-07-03
* modification groundGravatar corbinea2003-07-03
* addition of Auto hints in GroundGravatar corbinea2003-07-03
* added hints into GroundGravatar corbinea2003-07-02
* Ground updateGravatar corbinea2003-06-22
* Ground updateGravatar corbinea2003-06-20
* Ground Update.Gravatar corbinea2003-06-20
* Ground updateGravatar corbinea2003-06-16
* ground updateGravatar corbinea2003-06-16
* Ground major update ... mmm, sounds exciting !Gravatar corbinea2003-06-15
* ground updateGravatar corbinea2003-06-14
* 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
* Réinstallation d'un afficheur de niveau d'imbrication pour le déboggueur de...Gravatar herbelin2003-06-10
* bugfix for Ground ( merci JC )Gravatar corbinea2003-06-04
* Ground update + some bugfixGravatar corbinea2003-06-04
* Ground daily updateGravatar corbinea2003-05-29
* GIntuition now matches Intuition up to hyps renaming.Gravatar corbinea2003-05-26
* Added breakpoint in Ground tactic.Gravatar corbinea2003-05-26
* moved engine.ml4 to ground.ml4, added option 'Ground Depth'Gravatar corbinea2003-05-26
* Ground and CCsolve updatesGravatar corbinea2003-05-25
* Renommage CMeta en CPatVar qui sert à saisir les PMeta de PatternGravatar herbelin2003-05-19
* 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-02 00:32:54 +0000