coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey	2012-10-02
*	Argextend: avoid useless "open Extrawit"	letouzey	2012-10-02
*	avoid referring to Term in constrexpr.mli and glob_term.mli	letouzey	2012-10-02
*	New makefile shortcuts miniopt and minibyte for coqtop + plugins	letouzey	2012-10-02
*	Use the library function List.substract in prev commit	letouzey	2012-10-02
*	Added a new tactical infoH tac, that displays the names of hypothesis created...	courtieu	2012-10-01
*	Ltac repeat is in fact already doing progress	letouzey	2012-10-01
*	Default hashconsing of identifiers.	ppedrot	2012-09-27
*	Reusing the Hashset data structure in Hashcons. Hopefully, this should	ppedrot	2012-09-26
*	Incorrect comment	msozeau	2012-09-26
*	Cleaning, renaming obscure functions and documenting in Hashcons.	ppedrot	2012-09-26
*	Fixing ocamldoc errors	ppedrot	2012-09-25
*	Added a ml-dot option to Makefile to generate dependency graph of core modules	ppedrot	2012-09-25
*	Fixing #2865.	ppedrot	2012-09-25
*	Fixing a bug introduced in Funind plugin when reorganizing the CList	ppedrot	2012-09-24
*	Fix use of $(HASNATDYNLINK) in coq_makefile output	glondu	2012-09-22
*	Avoid generating ide/coqide_main*.ml as cleartext (except if READABLE_ML4 is ...	letouzey	2012-09-20
*	Remove broken makefile option NO_RECOMPILE_LIB	letouzey	2012-09-20
*	Fixing Show Script issues.	ppedrot	2012-09-20
*	Coq_makefile fixups	pboutill	2012-09-18
*	More cleaning in CArray...	ppedrot	2012-09-18
*	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
*	MacOS integration uses lablgtkosx >= 1.1	pboutill	2012-09-17
*	More type-safe interface to Coq XML API.	ppedrot	2012-09-17
*	Move reflexivity, symmetry, and transitivity, next to f_equal, in the documen...	gmelquio	2012-09-16
*	Some more fixes to tactic documentation.	gmelquio	2012-09-16
*	Beautify tactic documentation a bit more.	gmelquio	2012-09-16
*	Remove superfluous spaces and commas in tactic documentation.	gmelquio	2012-09-16
*	Fix index generation for the pdf document.	gmelquio	2012-09-16
*	Fix failure to compile doc/stdlib/Library.tex.	gmelquio	2012-09-15
*	Port rewrites of tactic documentation from branch 8.4.	gmelquio	2012-09-15
*	Some documentation and cleaning of CList and Util interfaces.	ppedrot	2012-09-15
*	As r15801: putting everything from Util.array_* to CArray.*.	ppedrot	2012-09-14
*	Added some tricky tail-rec versions of List functions to CList	ppedrot	2012-09-14
*	Partial revert of Yann commit in order to use CLib.List when opening	ppedrot	2012-09-14
*	Moving Utils.list_* to a proper CList module, which includes stdlib	ppedrot	2012-09-14
*	This patch removes unused "open" (automatically generated from	regisgia	2012-09-14
*	lib/Pp:	regisgia	2012-09-14
*	kernel/Term:	regisgia	2012-09-14
*	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia	2012-09-14
*	Made Pp.std_ppcmds opaque.	ppedrot	2012-09-13
*	Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS	pboutill	2012-09-12
*	Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5	ppedrot	2012-09-10
*	Fixed #2893.	ppedrot	2012-09-10
*	Added Print Assumptions command to CoqIDE	ppedrot	2012-09-10
*	When asked for a SearchAbout request, Coq now returns a more precise	ppedrot	2012-09-09
*	Fixed bug #2895	ppedrot	2012-09-09
*	Makefile: revised install-coqide rule	letouzey	2012-09-07