coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Add timing scripts	Jason Gross	2017-07-11
*	Makefile.build : cleanup now that micromega.ml isn't generated + sync check o...	Pierre Letouzey	2017-06-14
*	BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo)	Pierre Letouzey	2017-06-13
*	mention 'make world' without 'byte' in CHANGES + 2 minor suggestions	Pierre Letouzey	2017-06-01
*	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey	2017-05-30
*	Gitlab CI	Gaëtan Gilbert	2017-05-28
*	test suite for coq_makefile	Enrico Tassi	2017-05-23
*	Avoiding registering files from _build_ci when not calling Makefile.ci.	Hugo Herbelin	2017-05-01
*	[travis] [External CI] Script renaming.	Emilio Jesus Gallego Arias	2017-02-07
*	[travis] [External CI] compcert HoTT math-comp	Emilio Jesus Gallego Arias	2017-02-07
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-12-07
\|\
\| *	Compute dependency of C files only in kernel/byterun.	Maxime Dénès	2016-12-05
* \|	No more dev/printers.cma	Pierre Letouzey	2016-07-26
\|/
*	Makefile.build: follow-up of commits by Matej on VERBOSE and READABLE_ML4	Pierre Letouzey	2016-07-12
*	Makefile: no more .ml4.d hence no more rule to clean them	Pierre Letouzey	2016-07-12
*	expanding "make help" a little bit	Matej Kosik	2016-07-12
*	Revert "Merge remote-tracking branch 'github/pr/229' into trunk"	Maxime Dénès	2016-07-05
*	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey	2016-06-29
*	Compilation via pack for plugins of the stdlib	Pierre Letouzey	2016-06-08
*	Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}	Pierre Letouzey	2016-06-08
*	Makefile: make clean now removes the .coq-native subdirs	Pierre Letouzey	2016-06-08
*	Yet another Makefile reform : a unique phase without nasty make tricks	Pierre Letouzey	2016-06-01
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-22
\|\
\| *	Remove generatable documentation files from repository. (Fix bug #4315)	Guillaume Melquiond	2015-08-17
* \|	All invocations to ocaml compilers go through ocamlfind	Pierre Boutillier	2015-06-22
\|/
*	Fix phony targets. (Fix for bug #4083)	Guillaume Melquiond	2015-02-25
*	Configure.ml creates metadata to annotate MacOS binaries	Pierre Boutillier	2014-08-26
*	A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle	Pierre Boutillier	2014-07-22
*	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