Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ajout du langage de tactiques | delahaye | 2000-05-03 |
* | Renommage command en constr | herbelin | 2000-01-07 |
* | Vernacinterp et Vernacentries (partiellement) | filliatr | 1999-11-24 |
* | retablissement du toplevel | filliatr | 1999-09-28 |