aboutsummaryrefslogtreecommitdiff
path: root/.depend
AgeCommit message (Expand)Author
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
2003-02-06majfilliatr
2003-02-05Ajout du traducteurdesmettr
2003-02-05majfilliatr
2003-02-04interface GTK2 experimentalemonate
2003-02-03majfilliatr
2003-02-02contrib/extraction/table utilise printerletouzey
2003-01-24majfilliatr
2003-01-23Ajout de LinearIntuition; Ajout de New(Tauto|Intuition|LinearIntuition).corbinea
2003-01-22removes all references to ctast.ml the Makefile has been updated accordingly.bertot
2003-01-22MAJ pour renommage Rcompletdesmettr
2003-01-22majfilliatr
2003-01-22Extraction des modules, enfin !letouzey
2003-01-21Binome.v -> Binomial.vdesmettr
2003-01-21majfilliatr
2003-01-20majfilliatr
2003-01-18majfilliatr
2003-01-17majfilliatr
2003-01-16Renommage de RealsB en Rbasedesmettr
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 06:05:28 +0000