coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Remove deprecated option -no-hash-consing (currently doing nothing)	letouzey	2013-04-23
*	Checker: regroup all vo-related types in cic.mli	letouzey	2013-04-15
*	Checker: simplify a bit its exception handler	letouzey	2013-03-17
*	Restrict (try...with...) to avoid catching critical exn (part 1)	letouzey	2013-03-12
*	Dir_path --> DirPath	letouzey	2013-02-19
*	Removing Exc_located and using the new exception enrichement	ppedrot	2013-02-18
*	use List.rev_map whenever possible	letouzey	2013-02-18
*	make validate repaired via a temporary fix for #2949	letouzey	2013-02-13
*	Added backtrace information to anomalies	ppedrot	2013-01-28
*	Modulification of dir_path	ppedrot	2012-12-14
*	Modulification of identifier	ppedrot	2012-12-14
*	univ inconsistency error message gives evidence of a cycle	barras	2012-10-17
*	still some more dead code removal	letouzey	2012-10-06
*	Getting rid of Compat in the checker.	ppedrot	2012-10-04
*	Moved Compat to parsing. This permits to break the dependency of the	ppedrot	2012-10-04
*	More cleaning on Utils and CList. Some parts of the code being	ppedrot	2012-09-17
*	Made Pp.std_ppcmds opaque.	ppedrot	2012-09-13
*	Updating headers.	herbelin	2012-08-08
*	Fixing camlp4 compilation w.r.t previous commit	ppedrot	2012-06-22
*	Added an indirection with respect to Loc in Compat. As many [open Compat]	ppedrot	2012-06-22
*	Flushing formatters before program exit.	ppedrot	2012-06-02
*	Getting rid of Pp.msgnl and Pp.message.	ppedrot	2012-06-01
*	More uniformisation in Pp.warn functions.	ppedrot	2012-05-30
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Noise for nothing	pboutill	2012-03-02
*	Add support for XDG_DATA_HOME and XDG_DATA_DIRS.	pboutill	2011-11-20
*	bug 2423: consider "" as the empty prefix	barras	2011-07-07
*	fixed coqchk usage and man page + added option -coqlib	barras	2011-07-07
*	Add directories in COQPATH to search path.	herbelin	2011-04-14
*	Reorder search path order, so the standard library is search last.	herbelin	2011-04-14
*	Fix function applications without labels (OCaml warning 6)	glondu	2010-09-28
*	Checker: remove some dead code	letouzey	2010-09-24
*	Fix unescaped end-of-lines (OCaml warning 29)	glondu	2010-09-13
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Cleanup: remove code specific for ocaml 3.06	letouzey	2010-06-01
*	Add (almost) compatibility with camlp4, without breaking support for camlp5	letouzey	2010-05-19
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	[checker] fixed vo validation problems, module incompatibilities remain	barras	2010-02-19
*	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