Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Intégration du Termast et du Retyping de HH, et modifications connexes | herbelin | 1999-12-01 |
* | report d'une correction de Bruno | filliatr | 1999-09-27 |
* | compilation des grammaires (ouf) | filliatr | 1999-09-08 |
* | modules grammaire Coq | filliatr | 1999-09-08 |