Commit message (Expand) | Author | Age | |
---|---|---|---|
* | exported a few functions that are used in graphical interface pcoq. | bertot | 2001-02-09 |
* | Prise en compte modules/sections qualifiés dans SearchPattern et SearchRewrite | herbelin | 2000-12-16 |
* | syntaxe AST Inversion + commentaires ocamlweb autour de $ | filliatr | 2000-12-12 |
* | SearchPattern et SearchRewrite | filliatr | 2000-11-24 |