coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Restrict (try...with...) to avoid catching critical exn (part 2)	letouzey	2013-03-12
*	Restrict (try...with...) to avoid catching critical exn (part 1)	letouzey	2013-03-12
*	More monomorphization.	ppedrot	2013-03-05
*	Names: shortcuts for building {kn, constant, mind} with empty sections	letouzey	2013-02-26
*	Names: Modularize constant and mutual_inductive	letouzey	2013-02-26
*	Dir_path --> DirPath	letouzey	2013-02-19
*	Names: revised representation of constants and mutual_inductive	letouzey	2013-02-19
*	Removing Exc_located and using the new exception enrichement	ppedrot	2013-02-18
*	Added exception enrichment. Now one can define additional arbitrary	ppedrot	2013-02-18
*	use List.rev_map whenever possible	letouzey	2013-02-18
*	Minor code cleanups, especially take advantage of Dir_path.is_empty	letouzey	2013-02-18
*	make validate repaired via a temporary fix for #2949	letouzey	2013-02-13
*	Checker: re-sync vo structures after Maxime's commit 16136	letouzey	2013-02-12
*	Fixing coqchk compilation after commit r16183	ppedrot	2013-02-03
*	Added backtrace primitives.	ppedrot	2013-01-28
*	Uniformization of the "anomaly" command.	ppedrot	2013-01-28
*	Added backtrace information to anomalies	ppedrot	2013-01-28
*	Array.create is deprecated	pboutill	2012-12-19
*	Modulification of mod_bound_id	ppedrot	2012-12-18
*	Modulification of Label	ppedrot	2012-12-18
*	Modulification of dir_path	ppedrot	2012-12-14
*	Modulification of identifier	ppedrot	2012-12-14
*	Moving hcons_string to String namespace.	ppedrot	2012-12-14
*	Cleaning and small optimization in CList.	ppedrot	2012-11-20
*	Added a CString module.	ppedrot	2012-11-13
*	Added an Int module with dummy utility functions.	ppedrot	2012-11-08
*	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
*	Reusing the Hashset data structure in Hashcons. Hopefully, this should	ppedrot	2012-09-26
*	More cleanup of Util: utf8 aspects moved to a new file unicode.ml	letouzey	2012-09-18
*	Cleaning interface of Util.	ppedrot	2012-09-18
*	More cleaning on Utils and CList. Some parts of the code being	ppedrot	2012-09-17
*	As r15801: putting everything from Util.array_* to CArray.*.	ppedrot	2012-09-14
*	Moving Utils.list_* to a proper CList module, which includes stdlib	ppedrot	2012-09-14
*	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
*	Getting rid of Pp.msg	ppedrot	2012-05-30
*	More uniformisation in Pp.warn functions.	ppedrot	2012-05-30
*	remove many excessive open Util & Errors in mli's	letouzey	2012-05-29
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Adapt the checker after commit 15080	letouzey	2012-03-26
*	Module names and constant/inductive names are now in two separate namespaces	letouzey	2012-03-26
*	Univ: enforce_leq instead of enforce_geq for more uniformity	letouzey	2012-03-22
*	Noise for nothing	pboutill	2012-03-02