coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	make mli-doc fix	pboutill	2012-01-16
*	CoqIde files position is freedesktop compliant.	pboutill	2011-12-18
*	Added ability to take the type of applied metas into account when	herbelin	2011-12-17
*	Finally used typing to decide whether an alias needs to be expanded or	herbelin	2011-11-28
*	Cleaning up XML parsing	ppedrot	2011-11-25
*	Fixed the XML parser CDATA handling (and changed the EOL convention of these ...	ppedrot	2011-11-24
*	Moving XML handling to lib directory	ppedrot	2011-11-24
*	coqrc in the right XDG_CONFIG_HOME/coq folder	pboutill	2011-11-20
*	Add support for XDG_DATA_HOME and XDG_DATA_DIRS.	pboutill	2011-11-20
*	Bug 2636 - Move string_of_ppcmds to Pp	pboutill	2011-11-14
*	Patch by Dan Grayson to ensure that "Add LoadPath ... as ..." closes	herbelin	2011-10-17
*	Hashtbl_alt : typo in a comment	letouzey	2011-10-10
*	In Coq_config: get rid of coqsrc and make coqlib optional	glondu	2011-09-27
*	Util.error now creates UserError(_,msg) instead of UserError(str,str)	letouzey	2011-09-05
*	[/]+ is equivalent to [/] in System and its copy	pboutill	2011-09-01
*	Added list_map_filter_i	msozeau	2011-08-10
*	Refl_omega: replaced some generic = on constr by eq_constr	puech	2011-07-29
*	Coq_omega: replaced generic = on constr by eq_constr	puech	2011-07-29
*	Hahtbl_alt: separate generic combine functions	puech	2011-07-29
*	Evarutil: generic equality on constr replaced by eq_constr (x2)	puech	2011-07-29
*	Tactics: generic equality on constr replaced by eq_constr	puech	2011-07-29
*	Term: Refactoring of hashconsing	puech	2011-07-29
*	For the beauty of tail recursion, a new list_addn	pboutill	2011-07-22
*	This option disables the use of the '{\| field := ... \|}' notation	herbelin	2011-07-16
*	Generalizing flag use_evars_pattern_unification into a flag	herbelin	2011-06-18
*	Made the emacs-U option deprecated. Also removed the old code	courtieu	2011-05-24
*	Remove useless "open Gc"	glondu	2011-05-19
*	Remove System.process_time (dead code)	glondu	2011-05-19
*	More work on error handling	letouzey	2011-05-17
*	A new mechanism to handle errors.	aspiwack	2011-05-13
*	Choose relative directory over configured directory for coqlib.	pboutill	2011-04-29
*	coqtop -config returns coq returns coq environments at exection time	pboutill	2011-04-28
*	Win32: remove the need for Coq.bat and Coqide.bat	letouzey	2011-04-21
*	Add directories in COQPATH to search path.	herbelin	2011-04-14
*	Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacks	letouzey	2011-04-03
*	Starting being more explicit on the reasons why module subtyping fails.	herbelin	2011-03-05
*	- Fix treatment of globality flag for typeclass instance hints (they	msozeau	2011-02-14
*	An generic imperative union-find, used for deps of evars in Class_tactics	letouzey	2011-02-11
*	A fine-grain control of inlining at functor application via priority levels	letouzey	2011-01-31
*	Remove the "Boxed" syntaxes and the const_entry_boxed field	letouzey	2011-01-28
*	Fix compilation with camlp5 (Closes: #2487)	glondu	2011-01-25
*	Remove Safe_marshal	glondu	2011-01-06
*	Avoid "open {Pcoq,Extrawit}" clauses in expansion of EXTEND commands	glondu	2010-12-25
*	Use !Pp_control.std_ft for printing grammars	glondu	2010-12-06
*	Remove dead code	glondu	2010-12-03
*	adapt slighlty r13642 to support both camlp4 and camlp5-5 and camlp5-6	letouzey	2010-11-18
*	Support for camlp5 6.02.0 (Closes: #2432)	glondu	2010-11-16
*	Added multiple implicit arguments rules per name.	herbelin	2010-10-03
*	Some dead code removal, thanks to Oug analyzer	letouzey	2010-09-24
*	Addressing part 2 of bug report 2377 (removing intrusive warning when	herbelin	2010-09-19