coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Vernacexpr is now a mli-only file, locality stuff now in locality.ml	letouzey	2012-05-29
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
*	Added semantic completion in CoqIDE. (Should also add an option for that...)	ppedrot	2012-05-13
*	Added a SearchAbout-like primitive in coqtop interface.	ppedrot	2012-05-13
*	Added an interface primitive to ask coqtop for its internal versions.	ppedrot	2012-05-13
*	Slightly modified the coqtop interface by adding an identifier in	ppedrot	2012-05-11
*	Always add the Coq_config.dirs to xdg_dirs	pboutill	2012-05-02
*	Added an interface call to exit Coqtop nicely.	ppedrot	2012-05-02
*	Program: avoid staying in program mode after a failed Program command	letouzey	2012-04-26
*	Adding newline after warning and restoring distinction between	herbelin	2012-04-15
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Shortcuts and optimizations of comparisons	xclerc	2012-04-05
*	info_trivial, info_auto, info_eauto, and debug (trivial\|auto)	letouzey	2012-03-30
*	Unification: Added a heuristic to solve problems of the form	herbelin	2012-03-26
*	Reorganizing the structure of evarutil.ml (only restructuration, no	herbelin	2012-03-20
*	Yet another subtlety with bug 2732: when several grammar rules of a	herbelin	2012-03-18
*	Second step of integration of Program:	msozeau	2012-03-14
*	Noise for nothing	pboutill	2012-03-02
*	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