aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/edit.ml
Commit message (Expand)AuthorAge
* Implementation of a new backtracking system, that allow to go backGravatar coq2005-04-20
* Nouvelle en-têteGravatar herbelin2004-07-16
* reparation Undo suiteGravatar herbelin2003-10-11
* Bug undoGravatar herbelin2003-10-10
* Gestion en temps constant de la pile des UnfoGravatar herbelin2003-10-10
* compat ocaml 3.03Gravatar filliatr2001-12-13
* entetesGravatar filliatr2001-03-15
* Achèvement nettoyage PfeditGravatar herbelin2000-05-05
* Nettoyage de l'interface de PfeditGravatar herbelin2000-05-04
* module Bstack et EditGravatar filliatr1999-09-28