index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
checker
/
checker.ml
Commit message (
Expand
)
Author
Age
...
*
fix coqchk options documentation
barras
2009-12-01
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Transfers to checker ("let"s in inductive arities + Coq root read-only).
herbelin
2009-08-22
*
Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...
letouzey
2009-03-20
*
porting r11900 11905 and 11953 to trunk
barras
2009-03-02
*
Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk
notin
2009-02-11
*
Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...
notin
2009-01-06
*
Nettoyage des variables Coq et amélioration de coqmktop. Les
notin
2008-12-19
*
fixed bug #1927 + univ constraints (module cstrs include cstrs of its subcomp...
barras
2008-09-02
*
Lissage de la gestion des chemins de chargement de fichiers :
herbelin
2008-06-29
*
added coqchk to the main Makefile and a make variable VALIDATE to check the v...
barras
2008-05-22
*
fixed bug with aliases
barras
2008-05-07
*
checker deals with polymorphic constants and module aliases
barras
2008-05-06
*
added the .vo checker (with independent Makefile)
barras
2008-04-21
[prev]