index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
toplevel
/
errors.ml
Commit message (
Expand
)
Author
Age
*
compat ocaml 3.03
filliatr
2001-12-13
*
GROS COMMIT:
barras
2001-11-05
*
Suppression des library roots, on teste si un nom est absolu autrement
herbelin
2001-09-07
*
Reparation du bug de Try
delahaye
2001-04-14
*
bug Print Proof; usage coqtop/coqc
filliatr
2001-04-06
*
entetes
filliatr
2001-03-15
*
Déplacement des erreurs non noyau dans Pretype_errors ou Cases; localisation
herbelin
2001-03-11
*
Déplacement de qualid dans Nametab, hors du noyau
herbelin
2001-03-01
*
backtrack sur le lexeur de la V6
filliatr
2001-01-30
*
- suppression mind_extract_params
filliatr
2000-12-15
*
uniformisation messages d'erreur
filliatr
2000-11-27
*
Fail n + appel de interp
delahaye
2000-07-21
*
Abstraction du type typed_type (un pas vers les jugements 2 niveaux)
herbelin
2000-04-20
*
- états fabriqués avec -silent
filliatr
1999-12-13
*
modules
filliatr
1999-12-12
*
erreurs lexicales
filliatr
1999-12-06
*
premier debugage
filliatr
1999-12-05
*
- coqmktop
filliatr
1999-12-03
*
retablissement du toplevel
filliatr
1999-09-28