coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	More monomorphic List.mem + List.assoc + ...	letouzey	2013-10-24
*	Removing a bunch of generic equalities.	ppedrot	2013-09-27
*	Vernac classification streamlined (handles VERNAC EXTEND)	gareuselesinge	2013-08-08
*	Cutting the dependency of Genarg in constr_expr, glob_constr	ppedrot	2013-06-21
*	Uniformizing generic argument types.	ppedrot	2013-06-06
*	Splitting Term into five unrelated interfaces:	ppedrot	2013-04-29
*	Restrict (try...with...) to avoid catching critical exn (part 9)	letouzey	2013-03-13
*	Modulification of identifier	ppedrot	2012-12-14
*	Moved Intset and Intmap to Int namespace.	ppedrot	2012-12-14
*	Moved Compat to parsing. This permits to break the dependency of the	ppedrot	2012-10-04
*	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey	2012-10-02
*	Updating headers.	herbelin	2012-08-08
*	Added an indirection with respect to Loc in Compat. As many [open Compat]	ppedrot	2012-06-22
*	place all files specific to camlp4 syntax extensions in grammar/	letouzey	2012-05-29
*	slim down a bit genarg.ml (pr_intro_pattern forgotten there)	letouzey	2012-05-29
*	New files intf/constrexpr.mli and intf/notation_term.mli out of Topconstr	letouzey	2012-05-29
*	locus.mli for occurrences+clauses, misctypes.mli for various little things	letouzey	2012-05-29
*	Fixing bug #2732 (anomaly when using the tolerance for writing	herbelin	2012-03-18
*	Noise for nothing	pboutill	2012-03-02
*	Call process_vernac_interp_error before calling Errors.print in	herbelin	2011-06-10
*	A new mechanism to handle errors.	aspiwack	2011-05-13
*	ARGUMENT EXTEND: forbid TYPED simultaneously with {RAW,GLOB}_TYPED	glondu	2010-12-25
*	More {raw => glob} changes for consistency	glondu	2010-12-24
*	Rename rawterm.ml into glob_term.ml	glondu	2010-12-23
*	Simplify tactic(_)-bound arguments in TACTIC EXTEND rules	glondu	2010-09-30
*	Report fix bug 2345 from v8.3 (Bad error message when functional	courtieu	2010-09-21
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Fixing spelling: pr_coma -> pr_comma	herbelin	2010-06-12
*	Using vernac parsing for Function	jforest	2010-06-08
*	Generic support for open terms in tactics	herbelin	2009-12-21
*	A bit of cleaning around name generation + creation of dedicated file namegen.ml	herbelin	2009-11-09
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20