aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/ideutils.ml
Commit message (Expand)AuthorAge
* coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc...Gravatar monate2003-03-26
* coqide: compact delete event-search startGravatar monate2003-03-24
* coqide: .coqidepref en bin. Preferences en plusGravatar monate2003-03-12
* coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...Gravatar monate2003-03-07
* coqide: fenetre de cmmandes . undo correctGravatar monate2003-03-06
* CoqIde: Install.ide Revert bugfix.Gravatar monate2003-03-05
* coqide: partage -debug avec coqtopGravatar monate2003-03-04
* IDE: majGravatar monate2003-03-04
* CoqIDE: copy/pasteGravatar monate2003-03-03
* IDE: debug=falseGravatar filliatr2003-03-03
* coqide: preferences support and optimizationsGravatar monate2003-03-03
* coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ...Gravatar monate2003-02-27
* coqide: preliminary support for mnemonics. Edit menu. Context help now works ...Gravatar monate2003-02-26
* coqide : aide sur selection ou sur motGravatar monate2003-02-24
* aide contextuelle / menus compilation + print + exportGravatar filliatr2003-02-24
* CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)Gravatar filliatr2003-02-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 21:26:09 +0000