coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	test suite for coq_makefile2	Enrico Tassi	2017-05-23
*	ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mli	Enrico Tassi	2017-05-23
*	test suite for coq_makefile	Enrico Tassi	2017-05-23
*	[camlpX] Remove camlp4 compat layer.	Emilio Jesus Gallego Arias	2017-04-07
*	Improve build of travis target on local machine.	Théo Zimmermann	2017-03-10
*	Fix .gitignore.	Pierre-Marie Pédrot	2017-02-17
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-24
\|\
\| *	Update .gitignore with new names for psatz caches	Jason Gross	2016-10-24
* \|	enriching ".gitignore"	Matej Kosik	2016-10-19
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-14
\|\\|
\| *	Updating .gitignore.	Hugo Herbelin	2016-09-09
* \|	No more dev/printers.cma	Pierre Letouzey	2016-07-26
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-07-13
\|\\|
\| *	.gitignore: no more generated grammar/*.ml files	Pierre Letouzey	2016-07-12
\| *	".gitignore" update	Matej Kosik	2016-07-12
* \|	dummy commit --- I just need a hash that does not belong to v8.6 branch	Matej Kosik	2016-07-07
\|/
*	Ignore generated .ml file for ssrmatching	Enrico Tassi	2016-06-16
*	configure: use ln on linux and cp on windows	Enrico Tassi	2016-06-14
*	Merge branch "LtacProf for trunk" (PR #165).	Pierre-Marie Pédrot	2016-06-14
\|\
* \|	Compilation via pack for plugins of the stdlib	Pierre Letouzey	2016-06-08
\| *	LtacProf for Coq trunk	Jason Gross	2016-06-05
\|/
*	Removing the Q_constr file.	Pierre-Marie Pédrot	2016-06-05
*	Moving Hipattern to a regular ML file.	Pierre-Marie Pédrot	2016-06-05
*	Move ide serialization libraries from lib/ to ide/	Emilio Jesus Gallego Arias	2016-06-02
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-20
\|\
\| *	adding "user-contrib" directory to ".gitignore"	Matej Kosik	2016-05-19
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-09
\|\\|
\| *	Rename Lexer -> CLexer.	Pierre-Marie Pédrot	2016-05-09
* \|	Revert "Adding a target check-beautify for testing reparsability of"	Hugo Herbelin	2016-04-27
* \|	Adding a target check-beautify for testing reparsability of	Hugo Herbelin	2016-04-27
* \|	Updating .gitignore.	Pierre-Marie Pédrot	2016-03-28
* \|	CLEANUP: kernel/context.ml{,i}	Matej Kosik	2016-01-11
* \|	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
* \|	update gitignore	Pierre Boutillier	2015-06-22
\|/
*	Add missing test-suite files and update gitignore.	Matthieu Sozeau	2015-03-03
*	rename: vi -> vio	Enrico Tassi	2015-01-06
*	Ignore .vi files, just like .vo files.	Xavier Clerc	2014-12-11
*	Removing the XML plugin.	Pierre-Marie Pédrot	2014-09-08
*	Configure.ml creates metadata to annotate MacOS binaries	Pierre Boutillier	2014-08-26
*	Add emacs auto-save and crash-save files to the .gitignore.	Arnaud Spiwack	2014-07-25
*	Add *.crashcoqide files to the .gitignore.	Arnaud Spiwack	2014-07-25
*	Add lia.cache to the .gitignore	Arnaud Spiwack	2014-07-25
*	Ignore generated file.	Guillaume Melquiond	2014-05-22
*	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau	2014-05-06
*	Fix coqide build under MacOS	Pierre Boutillier	2014-02-24
*	coqc and coqmktop migrated in tools/, get rid of scripts/ subdir	letouzey	2013-04-18
*	Added .native to .gitignore	ppedrot	2013-01-22
*	Allow running coq-tex in win32 (fix #2921)	letouzey	2012-10-29
*	univ inconsistency error message gives evidence of a cycle	barras	2012-10-17