aboutsummaryrefslogtreecommitdiff
path: root/contrib/first-order
AgeCommit message (Expand)Author
2003-06-16Ground updatecorbinea
2003-06-16ground updatecorbinea
2003-06-15Ground major update ... mmm, sounds exciting !corbinea
2003-06-14ground updatecorbinea
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-10Réinstallation d'un afficheur de niveau d'imbrication pour le déboggueur de...herbelin
2003-06-04bugfix for Ground ( merci JC )corbinea
2003-06-04Ground update + some bugfixcorbinea
2003-05-29Ground daily updatecorbinea
2003-05-26GIntuition now matches Intuition up to hyps renaming.corbinea
2003-05-26Added breakpoint in Ground tactic.corbinea
2003-05-26moved engine.ml4 to ground.ml4, added option 'Ground Depth'corbinea
2003-05-25Ground and CCsolve updatescorbinea
2003-05-19Renommage CMeta en CPatVar qui sert à saisir les PMeta de Patternherbelin
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-02-13 16:04:01 +0000