aboutsummaryrefslogtreecommitdiffhomepage
path: root/.depend
Commit message (Expand)AuthorAge
* Globalisation des noms de tactiques dans les définitions de tactiquesGravatar herbelin2003-04-07
* majGravatar filliatr2003-04-04
* majGravatar filliatr2003-04-03
* majGravatar filliatr2003-04-01
* majGravatar filliatr2003-04-01
* majGravatar filliatr2003-03-31
* Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar)Gravatar herbelin2003-03-29
* majGravatar filliatr2003-03-29
* majGravatar filliatr2003-03-26
* majGravatar filliatr2003-03-22
* Fin de la résurrection de Linear.Gravatar corbinea2003-03-21
* majGravatar filliatr2003-03-15
* coqide: maj preferences du wizzardGravatar monate2003-03-14
* majGravatar filliatr2003-03-13
* * Ajout du traducteur nouvelle syntaxe *Gravatar barras2003-03-12
* majGravatar filliatr2003-03-07
* coqide: fenetre de cmmandes . undo correctGravatar monate2003-03-06
* coqide: le undoGravatar monate2003-03-06
* majGravatar filliatr2003-03-06
* majGravatar filliatr2003-03-05
* majGravatar filliatr2003-03-04
* coqide: preferences support and optimizationsGravatar monate2003-03-03
* majGravatar filliatr2003-02-28
* The contribution of Pierre Courtieu on generating specialized induction schemesGravatar bertot2003-02-27
* majGravatar filliatr2003-02-27
* coqide: preliminary support for mnemonics. Edit menu. Context help now works ...Gravatar monate2003-02-26
* majGravatar filliatr2003-02-26
* Suppression des warnings a la compilation de contrib/linearGravatar corbinea2003-02-25
* majGravatar filliatr2003-02-25
* Bringing Linear back to life (Still somewhat buggy).Gravatar corbinea2003-02-24
* aide contextuelle / menus compilation + print + exportGravatar filliatr2003-02-24
* *** empty log message ***Gravatar monate2003-02-24
* majGravatar filliatr2003-02-22
* CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)Gravatar filliatr2003-02-21
* majGravatar filliatr2003-02-15
* MAJ pour Reals/SeqSeries.vGravatar desmettr2003-02-14
* Debugger plus informatifGravatar delahaye2003-02-13
* majGravatar filliatr2003-02-12
* majGravatar filliatr2003-02-06
* Ajout du traducteurGravatar desmettr2003-02-05
* majGravatar filliatr2003-02-05
* interface GTK2 experimentaleGravatar monate2003-02-04
* majGravatar filliatr2003-02-03
* contrib/extraction/table utilise printerGravatar letouzey2003-02-02
* majGravatar filliatr2003-01-24
* Ajout de LinearIntuition; Ajout de New(Tauto|Intuition|LinearIntuition).Gravatar corbinea2003-01-23
* removes all references to ctast.ml the Makefile has been updated accordingly.Gravatar bertot2003-01-22
* MAJ pour renommage RcompletGravatar desmettr2003-01-22
* majGravatar filliatr2003-01-22
* Extraction des modules, enfin !Gravatar letouzey2003-01-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 15:00:33 +0000