aboutsummaryrefslogtreecommitdiffhomepage
path: root/.depend.newcoq
Commit message (Expand)AuthorAge
* coqide: warn when using locale or manual charsetGravatar monate2003-07-10
* coqide : status bar more informative, forbid Section/Module in proo modeGravatar monate2003-06-25
* Ground major update ... mmm, sounds exciting !Gravatar corbinea2003-06-15
* Major Ground update, may break semanticsGravatar corbinea2003-06-14
* FSets, mais pas compile' par make worldGravatar filliatr2003-06-13
* quelques adaptations de Zarith en vu de la nouvelle librarie FSetGravatar letouzey2003-06-13
* MAJGravatar herbelin2003-06-12
* Concentration des notations officielles dans Init/Notations; restructuration ...Gravatar herbelin2003-05-21
* coqide: load/save file encoding support/Gravatar monate2003-05-14
* Nouveaux lemmes (sur proposition de Nijmegen)Gravatar herbelin2003-05-13
* Corrige Bug (PR#290)Gravatar coq2003-05-05
* coqide : progressbarGravatar monate2003-04-22
* coqide: thread bug fixGravatar monate2003-04-10
* * Ajout du traducteur nouvelle syntaxe *Gravatar barras2003-03-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 15:16:06 +0000