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