coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey	2014-03-05
*	Set officially the minimal OCaml requirement to 3.12.1	Pierre Letouzey	2014-03-02
*	Fix compilation of coq and plugins using coq_makefile under cygwin	Enrico Tassi	2014-02-28
*	coq_makefile: new target vi2vo	Enrico Tassi	2014-02-26
*	vi2vo: new flag -schedule-vi2vo	Enrico Tassi	2014-02-26
*	fake_ide: ported to spawn	Enrico Tassi	2014-02-10
*	Coqmktop without Sys.command, changes in ./configure -*byteflags options	Pierre Letouzey	2014-01-30
*	Get rid of two utility files, obsolete now that configure is a .ml	Pierre Letouzey	2014-01-30
*	-schedule-vi-checking ported to spawn	Enrico Tassi	2014-01-26
*	Using full paths in coqdep -dumpgraph.	Pierre-Marie Pédrot	2014-01-19