| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | coqide: maj preferences du wizzard |  monate | 2003-03-14 |
| * | coqide: .coqidepref en bin. Preferences en plus | monate | 2003-03-12 |
| * | coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor... | monate | 2003-03-07 |
| * | coqide: fenetre de cmmandes . undo correct | monate | 2003-03-06 |
| * | coqide: ouvrir une seule fois un fichier | monate | 2003-03-05 |
| * | CoqIDE: copy/paste | monate | 2003-03-03 |
| * | coqide: preferences support and optimizations | monate | 2003-03-03 |
| * | aide contextuelle / menus compilation + print + export |  filliatr | 2003-02-24 |
| * | ide changes | monate | 2003-02-24 |
| * | ctrl-k like Emacs in coqide | monate | 2003-02-24 |
| * | *** empty log message *** | monate | 2003-02-24 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |