coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau	2014-05-06
*	Revert "Makefile: the initial build of grammar.cma is now directory-driven"	Pierre Letouzey	2014-03-24
*	Makefile: the initial build of grammar.cma is now directory-driven	Pierre Letouzey	2014-03-02
*	.*.aux erased by make distclean	Pierre Boutillier	2014-02-28
*	Makefile: re-introduce 2 phases to avoid make strange -include's	Pierre Letouzey	2014-02-27
*	Fixup make clean and .merlin	Pierre Boutillier	2014-01-18
*	Remove unused Makefile lines about .elc compilation	Pierre Letouzey	2013-12-20
*	coqc and coqmktop migrated in tools/, get rid of scripts/ subdir	letouzey	2013-04-18
*	New implementation of the conversion test, using normalization by evaluation to	mdenes	2013-01-22
*	Remove broken makefile option NO_RECOMPILE_LIB	letouzey	2012-09-20
*	No more states/initial.coq, instead coqtop now requires Prelude.vo	letouzey	2012-08-23
*	No more coqtop.opt, produce directly a coqtop binary	letouzey	2012-08-23
*	Makefile: avoid too much exported vars (for win32)	letouzey	2012-05-29
*	Configure asks for lablgtk >= 2.12 with gtksourceview2	pboutill	2012-04-27
*	make otags only relies on otags	pboutill	2012-04-12
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Makefile: fix make distclean w.r.t. test-suite	letouzey	2012-01-17
*	fake_ide: a short program to mimic an ide talking to coqtop -ideslave	letouzey	2011-09-05
*	Add "make full-stdlib" to make all the doc in pdf as ask by bug 2395	pboutill	2011-04-08
*	Add a test for sorting all universes of stdlib	glondu	2011-01-25
*	files introduce in commit 13401 aren't erased anymore by 'make clean'	pboutill	2010-09-10
*	Ajout d'une feuille de style pour les définitions spécifiques à Hevea + di...	notin	2010-06-23
*	Fix test-suite cleaning	glondu	2010-06-02
*	"make source-doc" builds documentation of mli in html and pdf at	pboutill	2010-04-29
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Makefile: some more cleanup	letouzey	2010-03-05
*	Makefile: cleanup of comments + a few words about recent changes in dev/doc/b...	letouzey	2010-03-04
*	Makefile: no more separate stages	letouzey	2010-03-04
*	Makefile: cleanup of variables containing lists of files, such as MLFILES	letouzey	2010-03-04
*	Makefile: make devdocclean was not removing .dep.ps, btw let's remove .dep....	letouzey	2010-03-04
*	Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)	letouzey	2010-03-04
*	Slight reorganisation of make clean, new entry cleankeepvo	letouzey	2010-02-26
*	Remove bashisms	glondu	2010-01-28
*	make init + NMake.v/NMake_gen.v	notin	2010-01-26
*	Remove interface plugin	glondu	2009-12-02
*	Applied patches from BSD/pkgsrc maintainer, so that Coq compiles out-of-the-box.	gmelquio	2009-09-28
*	Update link to "Recursive Make Considered Harmful"	glondu	2009-09-21
*	Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branch	herbelin	2009-04-08
*	Makefile: ocamlbuild's _build is not traversed by find, and removed by make c...	letouzey	2009-04-03
*	Committed patch sent by Samuel Bronson on Mar 14 2009 to take care of	herbelin	2009-03-31
*	clean revision and coqdep_boot, too	lmamane	2009-03-26
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	renamed %-mod.ml into %_mod.ml to avoid ocaml warning	barras	2009-03-18
*	Makefile:clean: rm *-mod.ml	barras	2009-03-17
*	coqdep_boot: a specialized and dependency-free coqdep for killing one of the ...	letouzey	2009-03-16
*	Makefile: fix ignored errors, several attempts to clarify things	letouzey	2009-03-16
*	Makefile: ml dependencies of contribs are moved to .mllib files	letouzey	2009-03-14
*	Heavy modifications on the widget and edition tab creation mechanism.	vgross	2009-03-02
*	Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk	notin	2009-02-11
*	Document how FIND_VCS_CLAUSE has to be used	lmamane	2009-02-11