aboutsummaryrefslogtreecommitdiff
path: root/.depend
AgeCommit message (Expand)Author
2003-08-15majfilliatr
2003-08-12majfilliatr
2003-07-24majfilliatr
2003-07-17majfilliatr
2003-07-12majfilliatr
2003-07-11Ground bugfixcorbinea
2003-07-09majfilliatr
2003-07-03majfilliatr
2003-07-02suppression de newtautocorbinea
2003-06-28majfilliatr
2003-06-21majfilliatr
2003-06-20Ground Update.corbinea
2003-06-20majfilliatr
2003-06-17majfilliatr
2003-06-16Ground updatecorbinea
2003-06-15Ground major update ... mmm, sounds exciting !corbinea
2003-06-13Ground updatecorbinea
2003-06-13Ground update, new files.corbinea
2003-06-11majfilliatr
2003-06-09majfilliatr
2003-05-30majfilliatr
2003-05-27majfilliatr
2003-05-26moved engine.ml4 to ground.ml4, added option 'Ground Depth'corbinea
2003-05-25Ground and CCsolve updatescorbinea
2003-05-23coqide: blaster 2monate
2003-05-23majfilliatr
2003-05-23majfilliatr
2003-05-22coqide: blaster V1monate
2003-05-22majfilliatr
2003-05-21majfilliatr
2003-05-20majfilliatr
2003-05-17majfilliatr
2003-05-16Major Ground tactic update, sensible performance improvementcorbinea
2003-05-15majfilliatr
2003-05-14coqide: load/save file encoding support/monate
2003-05-09majfilliatr
2003-05-07coqide: toolbar/autosavemonate
2003-05-07Enhancement of the Ground tactic, addition of GTauto and GIntuition.corbinea
2003-04-28fichier de pref coq IDE en ASCII (ENFIN)filliatr
2003-04-28majfilliatr
2003-04-26majfilliatr
2003-04-25Added the Ground tactic.corbinea
2003-04-18majfilliatr
2003-04-17majfilliatr
2003-04-16BIG MAJ Extraction:letouzey
2003-04-10majfilliatr
2003-04-08majfilliatr
2003-04-07Globalisation des noms de tactiques dans les définitions de tactiquesherbelin
2003-04-04majfilliatr
2003-04-03majfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 13:19:37 +0000