coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Use a homebrew parser to replace the GEXTEND extension points of Camlp5.	Pierre-Marie Pédrot	2018-06-29
*	[ide] Move common protocol library to its own folder/object.	Emilio Jesus Gallego Arias	2018-05-24
*	add unit tests to test suite	Paul Steckler	2018-05-16
*	[doc] Update Sphinx build instructions for Debian derivatives.	Emilio Jesus Gallego Arias	2018-04-30
*	Remove LaTeX refman, now that migration to Sphinx is complete	Maxime Dénès	2018-04-16
*	[Sphinx] Read version number from configure	Maxime Dénès	2018-03-13
*	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle	2018-02-17
*	Ignore generated test-suite/output/MExtraction.out	Jason Gross	2017-12-31
*	[API] remove large file containing duplicate interfaces	Enrico Tassi	2017-12-27
*	[make] remove unneeded generated file "tolink.ml"	Emilio Jesus Gallego Arias	2017-12-10
*	Extend .gitignore for coqdoc test-suite.	Théo Zimmermann	2017-08-21
*	Merge PR #880: Fix coqdoc bug #5648 on user idents colliding with keywords wr...	Maxime Dénès	2017-08-16
\|\
\| *	Adding a coqdoc target to test-suite.	Hugo Herbelin	2017-07-17
* \|	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