coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-01-19
\|\
\| *	Fix race condition in STM DAG generation (in debug mode).	Maxime Dénès	2017-01-13
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-18
\|\\|
\| *	Fix #4837: ./configure -local makes coqdep issue many warnings	Maxime Dénès	2016-11-04
* \|	Make the user_err header an optional parameter.	Emilio Jesus Gallego Arias	2016-08-19
* \|	Remove errorlabstrm in favor of user_err	Emilio Jesus Gallego Arias	2016-08-19
\|/
*	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
*	A new infrastructure for warnings.	Maxime Dénès	2016-06-29
*	Merge branch 'yet-another-makefile-bigbang' into trunk	Pierre Letouzey	2016-06-01
\|\
\| *	Makefile: restore the use of coqdep_boot for creating .v.d files	Pierre Letouzey	2016-06-01
* \|	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
\|/
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-02
\|\
\| *	Print magic numbers in bad magic error message	Tej Chajed	2016-04-25
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-03-18
\|\\|
\| *	Fix #4591: Uncaught exception in directory browsing.	Pierre-Marie Pédrot	2016-03-15
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-02-13
\|\\|
\| *	Don't fail fatally if PATH is not set.	Emilio Jesus Gallego Arias	2016-02-10
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Trust the directory cache in batch mode.	Guillaume Melquiond	2015-12-21
* \|	Remove some occurrences of Unix.opendir.	Guillaume Melquiond	2015-12-14
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-12-11
\|\\|
\| *	Fixing compilation with OCaml 3.12 after commit 9d45d45f3a87 on removing	Hugo Herbelin	2015-12-10
\| *	Remove remaining occurrences of Unix.readdir.	Guillaume Melquiond	2015-12-09
\| *	Replace Unix.readdir by Sys.readdir in dir cache.	Emilio Jesus Gallego Arias	2015-12-09
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-11-26
\|\\|
\| *	Fix for case-insensitive path looking continued (#2554): Adding a	Hugo Herbelin	2015-11-25
\| *	Generalizing the patch to bug #2554 on fixing path looking with	Hugo Herbelin	2015-11-25
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-02
\|\\|
\| *	Make the interface of System.raw_extern_intern much saner.	Guillaume Melquiond	2015-09-29
\| *	Prevent States.intern_state and System.extern_intern from looking up files in...	Guillaume Melquiond	2015-09-29
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-25
\|\\|
\| *	Revert "On MacOS X, ensuring that files found in the file system have the"	Maxime Dénès	2015-09-20
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-06-01
\|\\|
\| *	Continuing 4b5af0d6e9 and 69941d4e19 about filename case check on MacOS X.	Hugo Herbelin	2015-05-22
\| *	Continuing incomplete 4b5af0d6e9ec1 (on MacOS X, ensuring that files	Hugo Herbelin	2015-05-20
\| *	On MacOS X, ensuring that files found in the file system have the	Hugo Herbelin	2015-05-15
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-05-05
\|\\|
\| *	Remove almost all the uses of string concatenation when building error messages.	Guillaume Melquiond	2015-04-23
* \|	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-16
\| *	Revert "Using same code for browsing physical directories in coqtop and coqdep."	Hugo Herbelin	2015-02-12
\| *	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-12
\|/
*	Update headers.	Maxime Dénès	2015-01-12
*	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot	2014-12-16
*	better to always print the thread id	Enrico Tassi	2014-11-27
*	-help failing (fix 3762)	Enrico Tassi	2014-10-24
*	toploop plugins taken into account when printing --help (close: 3535)	Enrico Tassi	2014-09-09
*	Removing dead code relative to the XML plugin.	Pierre-Marie Pédrot	2014-09-08
*	STM: code restructured to reuse task queue for tactics	Enrico Tassi	2014-08-05
*	Adding a "time" tactical for benchmarking purposes. In case the tactic	Hugo Herbelin	2014-07-13