Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coqide: load/save file encoding support/ | 2003-05-14 | |
* | CoqIde: AccelMap support | 2003-05-12 | |
* | coqide: toolbar/autosave | 2003-05-07 | |
* | coqide: search forward | 2003-04-28 | |
* | fichier de pref coq IDE en ASCII (ENFIN) | 2003-04-28 | |
* | coqide: maj preferences du wizzard | 2003-03-14 | |
* | coqide: .coqidepref en bin. Preferences en plus | 2003-03-12 | |
* | coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor... | 2003-03-07 | |
* | coqide: fenetre de cmmandes . undo correct | 2003-03-06 | |
* | coqide: ouvrir une seule fois un fichier | 2003-03-05 | |
* | CoqIDE: copy/paste | 2003-03-03 | |
* | coqide: preferences support and optimizations | 2003-03-03 | |
* | aide contextuelle / menus compilation + print + export | 2003-02-24 | |
* | ide changes | 2003-02-24 | |
* | ctrl-k like Emacs in coqide | 2003-02-24 | |
* | *** empty log message *** | 2003-02-24 |