aboutsummaryrefslogtreecommitdiff
path: root/.depend
AgeCommit message (Expand)Author
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
2003-04-01majfilliatr
2003-04-01majfilliatr
2003-03-31majfilliatr
2003-03-29Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar)herbelin
2003-03-29majfilliatr
2003-03-26majfilliatr
2003-03-22majfilliatr
2003-03-21Fin de la résurrection de Linear.corbinea
2003-03-15majfilliatr
2003-03-14coqide: maj preferences du wizzardmonate
2003-03-13majfilliatr
2003-03-12* Ajout du traducteur nouvelle syntaxe *barras
2003-03-07majfilliatr
2003-03-06coqide: fenetre de cmmandes . undo correctmonate
2003-03-06coqide: le undomonate
2003-03-06majfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 18:38:04 +0000