aboutsummaryrefslogtreecommitdiff
path: root/checker/check.ml
AgeCommit message (Expand)Author
2012-06-01Getting rid of Pp.msgnl and Pp.message.ppedrot
2012-05-30Getting rid of Pp.msgppedrot
2012-04-12lib directory is cut in 2 cma.pboutill
2012-03-02Noise for nothingpboutill
2011-04-03Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacksletouzey
2010-09-28Fix function applications without labels (OCaml warning 6)glondu
2010-09-24Checker: remove some dead codeletouzey
2010-08-27* lib/Flags: Replace dont_load_proofs by load_proofs since not loadingregisgia
2010-08-27* Improve documentation of LightenLibrary.regisgia
2010-08-27* (checker|kernel)/Safe_typing: New LightenLibrary.regisgia
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-06-02Fix typosglondu
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-01-18Backporting from v8.2 to trunk:herbelin
2008-09-02fixed bug #1927 + univ constraints (module cstrs include cstrs of its subcomp...barras
2008-07-24fixed loop in dependency fold of the checkerbarras
2008-06-29Lissage de la gestion des chemins de chargement de fichiers :herbelin
2008-05-23doc of coqchk + improved module cache and computation of module setsbarras
2008-05-07fixed bug with aliasesbarras
2008-05-06checker deals with polymorphic constants and module aliasesbarras
2008-04-21added the .vo checker (with independent Makefile)barras
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 09:15:12 +0000