aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/undo.ml
Commit message (Expand)AuthorAge
* Coqide : ported to lablgtk2 snapshot of 2003/07/07Gravatar monate2003-07-07
* coqide: blaster V1Gravatar monate2003-05-22
* coqide: toolbar/autosaveGravatar monate2003-05-07
* Coqide : bug undoGravatar monate2003-04-22
* coqide: compact delete event-search startGravatar monate2003-03-24
* 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: le undoGravatar monate2003-03-06