| Age | Commit message (Expand) | Author |
|---|---|---|
| 2003-07-10 | coqide: warn when using locale or manual charset | monate |
| 2003-06-25 | coqide : status bar more informative, forbid Section/Module in proo mode | monate |
| 2003-06-15 | Ground major update ... mmm, sounds exciting ! | corbinea |
| 2003-06-14 | Major Ground update, may break semantics | corbinea |
| 2003-06-13 | FSets, mais pas compile' par make world | filliatr |
| 2003-06-13 | quelques adaptations de Zarith en vu de la nouvelle librarie FSet | letouzey |
| 2003-06-12 | MAJ | herbelin |
| 2003-05-21 | Concentration des notations officielles dans Init/Notations; restructuration ... | herbelin |
| 2003-05-14 | coqide: load/save file encoding support/ | monate |
| 2003-05-13 | Nouveaux lemmes (sur proposition de Nijmegen) | herbelin |
| 2003-05-05 | Corrige Bug (PR#290) | coq |
| 2003-04-22 | coqide : progressbar | monate |
| 2003-04-10 | coqide: thread bug fix | monate |
| 2003-03-12 | * Ajout du traducteur nouvelle syntaxe * | barras |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
path: root/.depend.newcoq