aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/include
Commit message (Expand)AuthorAge
...
* petits changements cosmetiques sur les tactiquesGravatar barras2002-02-15
* Suppression des local_constraints, des ctxtty et du focus.Gravatar clrenard2001-11-06
* Ajout du printer de tactiques + modif du Dynamic ocamlGravatar delahaye2001-09-30
* ajout d'un afficher de contexte et d'une fonction constbody_of_stringGravatar letouzey2001-05-10
* Restructuration printer et parserGravatar herbelin2000-01-07
* Ajout pp pattern et rawtermGravatar herbelin1999-12-12
* renommage pour eviter pbm avec ocamldep (syntax error)Gravatar filliatr1999-12-03