Commit message (Expand) | Author | Age | |
---|---|---|---|
* | modifs pour premiere edition de liens | filliatr | 1999-12-02 |
* | Intégration du Termast et du Retyping de HH, et modifications connexes | herbelin | 1999-12-01 |
* | diverses fonctions ajoutees | filliatr | 1999-12-01 |
* | - un effort sur la doc (ocamlweb) | filliatr | 1999-09-19 |
* | modules System, Lib et States | filliatr | 1999-09-10 |
* | - environnements vides | filliatr | 1999-09-03 |
* | un petit effort de presentation dans les interfaces | filliatr | 1999-08-30 |
* | mise en place programmation literaire (generation de doc/coq.tex) | filliatr | 1999-08-19 |
* | module Reduction (debut) | filliatr | 1999-08-18 |
* | generic, term et evd | filliatr | 1999-08-17 |
* | Initial revision | filliatr | 1999-08-16 |