coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Add support for "-bypass-API" argument of "coq_makefile"	Matej Košík	2017-06-12
*	Put the list of Coq sources subdirectories in one place	Enrico Tassi	2017-05-23
*	[stm] Port the toplevel to the STM.	Emilio Jesus Gallego Arias	2017-04-12
*	Fixes for Drop. to work (decl_mode removal and toplevel -> vernac)	Matthieu Sozeau	2017-04-07
*	Merge remote-tracking branch 'github/pr/290' into trunk	Maxime Dénès	2016-09-27
\|\
* \	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-27
\|\ \
\| \| *	8.7 now points to Current and 8.6 points to V8_6.	Théo Zimmermann	2016-09-26
\| \|/ \|/\|
\| *	The coqtop options -Q and -R do not affect the ML loadpath anymore.	Pierre-Marie Pédrot	2016-09-25
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-14
\|\\|
\| *	Avoid putting a useless "toploop" directory in the ML search path if it does ...	Guillaume Melquiond	2016-09-10
\| *	Make it explicit when paths are added to the ML search paths.	Guillaume Melquiond	2016-09-09
* \|	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
\|/
*	Fix #4793: Coq 8.6 should accept -compat 8.6	Maxime Dénès	2016-07-06
*	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
*	coqtop: Add ltac/ to search path.	Matthieu Sozeau	2016-06-02
*	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-29
\|\\|
\| *	Accept option -compat 8.5. (Fix bug #4393)	Guillaume Melquiond	2015-10-29
* \|	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
\| *	No longer add dev/ to the LoadPath, only to the ML path.	Guillaume Melquiond	2015-04-17
* \|	Merge branch 'v8.5' into trunk	Pierre Letouzey	2015-04-09
\|\\|
\| *	Remove Mltop.add_path as it is no longer possible to import files from subdir...	Guillaume Melquiond	2015-04-02
\| *	Fixing inclusion of user contrib directory in the loadpath.	Pierre-Marie Pédrot	2015-04-01
* \|	Adding a new folder corresponding to the low-level part of the pretyper	Pierre-Marie Pédrot	2015-02-27
\| *	Revert "Capital letter in plugins." (Sorry, was not intended to be pushed)	Hugo Herbelin	2015-02-12
\| *	Capital letter in plugins.	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
*	Fix ML paths (thanks Jean-Marc Notin for bisecting it)	Enrico Tassi	2014-10-14
*	Coqinit: look in toploop/ even if configured with -local	Enrico Tassi	2014-10-13
*	Prerequisite to fix stm test-suite when not in -local	Pierre Boutillier	2014-08-25
*	Arith: full integration of the "Numbers" modular framework	Pierre Letouzey	2014-07-09
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	cut toploop(s) out of coqtop: now they are loaded dynamically	Enrico Tassi	2014-06-25
*	Add an option -Q (tentative name).	Guillaume Melquiond	2014-04-08
*	Change handling of loadpath and mlpath.	Guillaume Melquiond	2014-04-06
*	Lets coqtop use a slash	Virgile Prevosto	2014-03-06
*	Misc changes around coqtop.ml :	letouzey	2013-08-22
*	Restrict (try...with...) to avoid catching critical exn (part 13)	letouzey	2013-03-13
*	Dir_path --> DirPath	letouzey	2013-02-19
*	Updating the backtrace handling mechanism to accomodate the new	ppedrot	2013-02-18
*	Actually adding backtrace handling.	ppedrot	2013-01-28
*	Added backtrace information to anomalies	ppedrot	2013-01-28
*	Modulification of dir_path	ppedrot	2012-12-14
*	Modulification of identifier	ppedrot	2012-12-14