coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers.	Maxime Dénès	2015-01-12
*	Fixing typo in previous commit.	Hugo Herbelin	2015-01-12
*	Fixing wrong duplication message when finding both a .ml and a .ml4 in coqdep.	Hugo Herbelin	2015-01-11
*	rename: vi -> vio	Enrico Tassi	2015-01-06
*	Improve error recovery in case of ill-formed coqdoc comment. (Fix for bug #38...	Guillaume Melquiond	2015-01-06
*	Inlining Spawn.kill_if in the one place were it was actually used, thus	Pierre-Marie Pédrot	2014-12-25
*	Bug fix (coq_makefile): Adding unix.cma and threads.cma dependencies for gram...	mlasson	2014-12-18
*	Fixing bug #3865.	Pierre-Marie Pédrot	2014-12-15
*	Fix #3800 : cmxs need execution priviledges under windows	Pierre Boutillier	2014-12-12
*	Switch the few remaining iso-latin-1 files to utf8	Pierre Letouzey	2014-12-09
*	coqdoc.css: fix a few errors	Pierre Letouzey	2014-12-09
*	coqdoc: fix a few issues with xhtml validity (backport 1636f7 and 754abf1 fro...	Pierre Letouzey	2014-12-09
*	Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la document...	notin	2014-12-09
*	coqdep: granting #2506 (./dir is the same as dir)	Hugo Herbelin	2014-12-04
*	coqdep: Warning about ml file clashes, keeping the file corresponding	Hugo Herbelin	2014-12-04
*	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