coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Monomorphized a lot of equalities over OCaml integers, thanks to	ppedrot	2012-11-08
*	Added an Int module with dummy utility functions.	ppedrot	2012-11-08
*	Removing another bunch of generic equalities	ppedrot	2012-11-08
*	Fix reference_or_constr grammar rule to accept @t as a constr	gareuselesinge	2012-11-07
*	Coq is a heavy user of persistent data structures and symbolic ASTs, so the	ppedrot	2012-11-06
*	Reversed roles of undefined/defined evars in Evd, thus saving precious	ppedrot	2012-11-03
*	Coqide Detach View: avoid doing gtk stuff in sub-thread (fix #2863)	letouzey	2012-10-31
*	Change [Hints Resolve] to still accept constrs as arguments	msozeau	2012-10-31
*	correcting a little bug in Function	jforest	2012-10-31
*	Documenting the 'Printing Transparent/All Dependencies' command.	ppedrot	2012-10-30
*	Extraction Implicit: consider the parameters of a constructor (fix #2905)	letouzey	2012-10-30
*	Extraction: avoid initial strange empty comments after Arnaud's hack	letouzey	2012-10-30
*	Fix Separate extraction when a module-as-file is aliased (#2917)	letouzey	2012-10-30
*	coqdep: honor dependencies of "Load"ed files	gareuselesinge	2012-10-29
*	Allow running coq-tex in win32 (fix #2921)	letouzey	2012-10-29
*	Fixed #2926:	ppedrot	2012-10-29
*	Removed many calls to OCaml generic equality. This was done by	ppedrot	2012-10-29
*	Moved Entries module back to kernel	ppedrot	2012-10-26
*	Change Hint Resolve, Immediate to take a global reference as argument	msozeau	2012-10-26
*	Removed a few calls to "Opaque" in Logic.v ineffective since at least	herbelin	2012-10-24
*	Cleared a purely declarative .ml file and moved its interface to intf/	ppedrot	2012-10-23
*	Coqmktop: missing -I (fix #2851)	letouzey	2012-10-23
*	the new .dir-locals.el thanks to Pierre Courtieu	pboutill	2012-10-23
*	Text inserted by insert_this_phrase_on_success correct tagging	pboutill	2012-10-23
*	Coqide for Gtk-mac-integration 2.0.0	pboutill	2012-10-23
*	RefMan-tac: fix a few glitches concerning the documentation of eqn:	letouzey	2012-10-23
*	Fix bug #2892	letouzey	2012-10-22
*	Coqide does not need dllcoqrun.so	pboutill	2012-10-22
*	Makefile.build: CONFIG is now in clib	pboutill	2012-10-17
*	Do not install libcoqrun.so if compiled with -custom	pboutill	2012-10-17
*	Cygwin gcc do not accept -mno-cygwin anymore	pboutill	2012-10-17
*	Fix test-suite output/* in bench	pboutill	2012-10-17
*	Taking into account that ocamlfind might find a package w/o the files	herbelin	2012-10-17
*	Using weak tables instead of plain hash tables while hashconsing.	ppedrot	2012-10-17
*	univ inconsistency error message gives evidence of a cycle	barras	2012-10-17
*	Removing redundant definition of case_eq (see #2919).	herbelin	2012-10-16
*	Split Tacinterp in 3 files : Tacsubst, Tacintern and Tacinterp	letouzey	2012-10-16
*	Continuing r15885 fixing coqdoc index bugs introduced in r14624 and r15053.	herbelin	2012-10-16
*	Removed dead code about linking Module names in coqdoc.	herbelin	2012-10-16
*	Continue killing hidden tactics : no more generated h_xxx	letouzey	2012-10-15
*	Egramml: minor simplification	letouzey	2012-10-15
*	Stylistic improvement: avoid a "if match List.hd"	letouzey	2012-10-15
*	Coq_makefile: easier compilation with timings info (from r15850)	pboutill	2012-10-15
*	Makefiles: Only -I required dirs (config, lib, ide) when compiling coqide	pboutill	2012-10-15
*	Makefile.build: $(MLINCLUDES) out of $(OPT/BYTEFLAGS)	pboutill	2012-10-15
*	Fixing coqdoc index bugs introduced in r14624 and r15053. Revision r14624 int...	pboutill	2012-10-15
*	When loading a plugin, prefer .cma to .cmo	gareuselesinge	2012-10-14
*	fix r15860 : no slash after $(COQLIB)	letouzey	2012-10-08
*	restore compatibility with camlp5 < 6.00	letouzey	2012-10-06
*	Coqmktop: a misplaced Filename.quote prevented temp file cleanup	letouzey	2012-10-06