aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/edit.mli
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
* Gestion en temps constant de la pile des UnfoGravatar herbelin2003-10-10
* entetesGravatar filliatr2001-03-15
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Achèvement nettoyage PfeditGravatar herbelin2000-05-05
* module Bstack et EditGravatar filliatr1999-09-28