Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Fix de quelques bugs syntaxiques de Ltac | 2001-06-11 | ||
* | mise en place de Correctness; vieille syntaxe Extraction viree de g_vernac.ml4 | 2001-04-05 | ||
* | entetes | 2001-03-15 | ||
* | backtrack sur le lexeur de la V6 | 2001-01-30 |