aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/fhimsg.ml
Commit message (Expand)AuthorAge
* Restructuration et simplification des fonctions d'affichage, de détypageGravatar herbelin2006-01-11
* Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...Gravatar herbelin2005-12-26
* Nouvelle en-têteGravatar herbelin2004-07-16
* message d'erreur de garde des cofixGravatar barras2003-09-22
* Renoncement à distinguer les types "constr" et "types"; nettoyageGravatar herbelin2002-08-13
* Corrections post contournement des streams avec ++Gravatar herbelin2001-12-19
* compat ocaml 3.03Gravatar filliatr2001-12-13
* Retablissement de minicoqGravatar coq2001-05-29
* amelioration de la consommation memoire de la conversion en eta-expansantGravatar barras2001-03-23
* entetesGravatar filliatr2001-03-15
* print_id, print_sp -> pr_id, pr_spGravatar herbelin2000-11-23
* suppression des (* open Generic *)Gravatar filliatr2000-11-02
* Renommage canonique :Gravatar herbelin2000-10-18
* Correction pour make docGravatar herbelin2000-09-10
* Suppression de AbstGravatar herbelin2000-09-10
* Ajout d'un LetIn primitif.Gravatar herbelin2000-09-10
* retablissement make doc et make minicoqGravatar filliatr2000-07-25
* retablissement minicoq (pour Jacek)Gravatar filliatr2000-07-21
* Essai de simplification compte tenu de l'info de locationGravatar herbelin2000-06-29
* Modification messages d'erreurs, possibilité de n'importe quel constr dans l...Gravatar herbelin2000-05-26
* Portage (pour la forme) de minicoqGravatar herbelin2000-03-31
* modules profile, Coqinit et Coqtop (=main)Gravatar filliatr1999-12-03