| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | 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 |