coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fixing printing error in coq_makefile.	Pierre-Marie Pédrot	2015-02-26
*	Mention -R option in warnings, fixing #4067 and #4068.	Maxime Dénès	2015-02-26
*	Update the list of phony targets produced by coq_makefile. (Fix for bug #4084)	Guillaume Melquiond	2015-02-24
*	coqc accepts -top option. Fixes bug #4043.	Pierre-Marie Pédrot	2015-02-14
*	Revert "Using same code for browsing physical directories in coqtop and coqdep."	Hugo Herbelin	2015-02-12
*	Revert "Capital letter in plugins." (Sorry, was not intended to be pushed)	Hugo Herbelin	2015-02-12
*	Capital letter in plugins.	Hugo Herbelin	2015-02-12
*	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-12
*	Make coqdoc -l properly handle Local before Ltac. (Fix for bug #3307)	Guillaume Melquiond	2015-02-11
*	Prevent Latex from messing with backticks. (Fix for bug #3871)	Guillaume Melquiond	2015-02-10
*	Fixed a wrong warning in coq_makefile.	Pierre Courtieu	2015-01-27
*	Allow -type-in-type to be an option also for coqc.	Daniel R. Grayson	2015-01-27
*	coq_makefile: install also .v and .glob	Enrico Tassi	2015-01-16
*	Remove left-over dead code in previous commit.	Maxime Dénès	2015-01-15
*	Make -print-mod-uid accept a list of files.	Maxime Dénès	2015-01-15
*	Make installation of native files more robust.	Maxime Dénès	2015-01-15
*	coq_makefile installs native files	Pierre Boutillier	2015-01-15
*	coq_makefile: chmod 755 on toplopp cmxs	Enrico Tassi	2015-01-14
*	Made -print-mod-uid more silent and robust.	Maxime Dénès	2015-01-13
*	Coq_makefile erases native compiler files	Pierre Boutillier	2015-01-12
*	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