aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/fhimsg.mli
Commit message (Expand)AuthorAge
* Retablissement de minicoqGravatar coq2001-05-29
* entetesGravatar filliatr2001-03-15
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* Simplifications autour de typed_type (renommé types par analogie avec sorts)...Gravatar herbelin2000-10-18
* Suppression de AbstGravatar herbelin2000-09-10
* retablissement make doc et make minicoqGravatar filliatr2000-07-25
* retablissement minicoq (pour Jacek)Gravatar filliatr2000-07-21
* modules profile, Coqinit et Coqtop (=main)Gravatar filliatr1999-12-03