coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Add timing scripts	Jason Gross	2017-07-11
*	Update .gitignore with doc/tutorial/Tutorial.v.out	Jason Gross	2017-06-30
*	Ignore all PDF files.	Théo Zimmermann	2017-06-22
*	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
*	Merge PR#743: Update .gitignore	Maxime Dénès	2017-06-13
\|\
* \|	Store plugins/micromega/micromega.{ml,mli} files in the repository. Try to ge...	Matej Košík	2017-06-12
* \|	Add support for "-bypass-API" argument of "coq_makefile"	Matej Košík	2017-06-12
\| *	Update .gitignore	Jason Gross	2017-06-07
* \|	Put "ssreflect" behind "API".	Matej Košík	2017-06-07
* \|	Put all plugins behind an "API".	Matej Kosik	2017-06-07
\|/
*	extract "plugins/micromega/micromega.ml{,i}" files from "plugins/micromega/ME...	Matej Kosik	2017-06-01
*	Add some test-suite generated files to .gitignore	Jason Gross	2017-05-30
*	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