aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/parser
Commit message (Expand)AuthorAge
* Achèvement suppression traducteur dans contrib/interfaceGravatar herbelin2005-12-26
* Consequence of allowing the numerical argument of auto to be an ident for ltacGravatar herbelin2005-05-23
* Re-commit version nouvelle syntaxeGravatar herbelin2004-11-28
* Passage à la v8 pour test parserGravatar herbelin2004-11-28
* the output the parser should produce nowGravatar bertot2004-03-06
* Add an example with Ring.Gravatar bertot2002-12-09
* correcting the treatment of many tactics that use quant_hyp in file xlate.mlGravatar bertot2002-10-06