aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/errors.ml
Commit message (Expand)AuthorAge
* compat ocaml 3.03Gravatar filliatr2001-12-13
* GROS COMMIT:Gravatar barras2001-11-05
* Suppression des library roots, on teste si un nom est absolu autrementGravatar herbelin2001-09-07
* Reparation du bug de TryGravatar delahaye2001-04-14
* bug Print Proof; usage coqtop/coqcGravatar filliatr2001-04-06
* entetesGravatar filliatr2001-03-15
* Déplacement des erreurs non noyau dans Pretype_errors ou Cases; localisationGravatar herbelin2001-03-11
* Déplacement de qualid dans Nametab, hors du noyauGravatar herbelin2001-03-01
* backtrack sur le lexeur de la V6Gravatar filliatr2001-01-30
* - suppression mind_extract_paramsGravatar filliatr2000-12-15
* uniformisation messages d'erreurGravatar filliatr2000-11-27
* Fail n + appel de interpGravatar delahaye2000-07-21
* Abstraction du type typed_type (un pas vers les jugements 2 niveaux)Gravatar herbelin2000-04-20
* - états fabriqués avec -silentGravatar filliatr1999-12-13
* modulesGravatar filliatr1999-12-12
* erreurs lexicalesGravatar filliatr1999-12-06
* premier debugageGravatar filliatr1999-12-05
* - coqmktopGravatar filliatr1999-12-03
* retablissement du toplevelGravatar filliatr1999-09-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-07 18:18:01 +0000