aboutsummaryrefslogtreecommitdiff
path: root/.depend
AgeCommit message (Expand)Author
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
2003-03-05majfilliatr
2003-03-04majfilliatr
2003-03-03coqide: preferences support and optimizationsmonate
2003-02-28majfilliatr
2003-02-27The contribution of Pierre Courtieu on generating specialized induction schemesbertot
2003-02-27majfilliatr
2003-02-26coqide: preliminary support for mnemonics. Edit menu. Context help now works ...monate
2003-02-26majfilliatr
2003-02-25Suppression des warnings a la compilation de contrib/linearcorbinea
2003-02-25majfilliatr
2003-02-24Bringing Linear back to life (Still somewhat buggy).corbinea
2003-02-24aide contextuelle / menus compilation + print + exportfilliatr
2003-02-24*** empty log message ***monate
2003-02-22majfilliatr
2003-02-21CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)filliatr
2003-02-15majfilliatr
2003-02-14MAJ pour Reals/SeqSeries.vdesmettr
2003-02-13Debugger plus informatifdelahaye
2003-02-12majfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 14:14:42 +0000