coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Use the url package, since coqdoc generates \url commands.	Guillaume Melquiond	2014-10-27
*	Supporting Greek and Coptic (U0370) as first letter of coqdoc identifiers.	Hugo Herbelin	2014-10-22
*	More fallout from elisp rename	Anders Kaseorg	2014-10-16
*	Coq_makefile: Allow empty logical names	Pierre Boutillier	2014-10-09
*	Applying Virgile Prevosto's patch for better error report in coqdep (#3029).	Hugo Herbelin	2014-10-08
*	coq_makefile: explicit target install-toploop for toploop plugins	Enrico Tassi	2014-10-07
*	fix wrong escaping in coq_makefile	Enrico Tassi	2014-10-06
*	coq_makefile: build and install *top.cmxs plugins	Enrico Tassi	2014-10-01
*	fix coq_makefile	Pierre Boutillier	2014-09-18
*	Revert "coqc: execvp is now available even on win32"	Enrico Tassi	2014-09-17
*	Print [Variant] types with the keyword [Variant].	Arnaud Spiwack	2014-09-04
*	Add a [Variant] declaration which allows to write non-recursive variant types.	Arnaud Spiwack	2014-09-04
*	coqworkmgr	Enrico Tassi	2014-09-02
*	"allows to", like "allowing to", is improper	Jason Gross	2014-08-25
*	factored out require_modifiers + bug fix.	Gregory Malecha	2014-08-25
*	coqdep comments counter is in the stack	Pierre Boutillier	2014-08-25
*	a comment about the new state.	Gregory Malecha	2014-08-25
*	Support for Timeout n and From ..	Gregory Malecha	2014-08-25
*	Make coqdep find Require commands prefixed by Time	Gregory Malecha	2014-08-25
*	Make beautify-archive usable on non-GNU systems.	Xavier Clerc	2014-08-21
*	fixup fakeide test-suite	Pierre Boutillier	2014-07-24
*	Coq_makefile: fix cmx compilation when there are both ml and mllib	Pierre Boutillier	2014-07-07
*	Fix Coq_makefile in presence of mlpack	Pierre Boutillier	2014-07-03
*	coqdoc is minimaly -Q aware	Pierre Boutillier	2014-07-03
*	Bug 3405: Coq_makefile: Implicit rules only for listed files in Make file	Pierre Boutillier	2014-07-03
*	Coq_makefile takes advantages of -I -Q -R cleanup	Pierre Boutillier	2014-06-30
*	coqc is -Q aware	Pierre Boutillier	2014-06-30
*	Coqdep: update include strategies	Pierre Boutillier	2014-06-30
*	Coq_makefile: -extra[-phony] correction + doc	Pierre Boutillier	2014-06-30
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	Checking that a library name is valid before compilation.	Pierre-Marie Pédrot	2014-06-16
*	Remove documentation for the unsupported options -byte and -opt.	Guillaume Melquiond	2014-06-13
*	make coqdep canonicalize paths from the command line	Gregory Malecha	2014-05-26
*	Fixing coqdep_boot warning relative to unknown ML files that were in tactics.	Pierre-Marie Pédrot	2014-05-17
*	Fixing the undocumented -dumpgraphbox option of coqdep.	Pierre-Marie Pédrot	2014-05-12
*	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau	2014-05-06
*	Reduce the amount of "Coq <" prompts generated by coq_tex. (Partial fix for b...	Guillaume Melquiond	2014-04-28
*	Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)	Guillaume Melquiond	2014-04-28
*	Recognize Parameters as a command in coqdoc. (Fix for bug #3279)	Guillaume Melquiond	2014-04-28
*	Mark lazymatch as an Ltac keyword for coqdoc. (Fix for bug #3276)	Guillaume Melquiond	2014-04-28
*	Fixing coqdoc bug #3292 (unfortunate collision betweens the relative	Hugo Herbelin	2014-04-28
*	coq_makefile: -I for the new stm/ dir	Enrico Tassi	2014-04-25
*	Dumpglob: factor out reference dumping.	Carst Tankink	2014-04-10
*	Adapt coq_makefile build rules to new -R -I semantic	Pierre Boutillier	2014-04-09
*	Add tool for fully qualifying Require statements.	Guillaume Melquiond	2014-04-06
*	Recognize "Instance" in coqwc. (Fix for bug #2551)	Guillaume Melquiond	2014-04-04
*	Prevent verbatim text from leaking out of comments. (See bug #2882)	Guillaume Melquiond	2014-04-04
*	Support other forms of "Proof" in coqwc. (Fix for bug #2735)	Guillaume Melquiond	2014-04-04
*	Newline on -slash warning in coqdep.	Pierre-Marie Pédrot	2014-03-28
*	fake_ide: fix compilation	Enrico Tassi	2014-03-12