aboutsummaryrefslogtreecommitdiff
path: root/toplevel/errors.ml
AgeCommit message (Expand)Author
2002-02-20Changé le nom du module Errors (errors.mli, errors.ml) en Cerrors parceddr
2001-12-13compat ocaml 3.03filliatr
2001-11-05GROS COMMIT:barras
2001-09-07Suppression des library roots, on teste si un nom est absolu autrementherbelin
2001-04-14Reparation du bug de Trydelahaye
2001-04-06bug Print Proof; usage coqtop/coqcfilliatr
2001-03-15entetesfilliatr
2001-03-11Déplacement des erreurs non noyau dans Pretype_errors ou Cases; localisationherbelin
2001-03-01Déplacement de qualid dans Nametab, hors du noyauherbelin
2001-01-30backtrack sur le lexeur de la V6filliatr
2000-12-15 - suppression mind_extract_paramsfilliatr
2000-11-27uniformisation messages d'erreurfilliatr
2000-07-21Fail n + appel de interpdelahaye
2000-04-20Abstraction du type typed_type (un pas vers les jugements 2 niveaux)herbelin
1999-12-13 - états fabriqués avec -silentfilliatr
1999-12-12modulesfilliatr
1999-12-06erreurs lexicalesfilliatr
1999-12-05premier debugagefilliatr
1999-12-03 - coqmktopfilliatr
1999-09-28retablissement du toplevelfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 09:06:34 +0000