coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix bug #5090: Effect of -Q depends on coqtop's current directory.	Pierre-Marie Pédrot	2016-09-25
*	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
*	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
* \|	Remove some unused functions.	Guillaume Melquiond	2016-01-02
* \|	Move the From logic to Loadpath.expand_path.	Guillaume Melquiond	2015-12-22
\|/
*	Unexport Loadpath.get_paths.	Guillaume Melquiond	2015-09-30
*	Remove some uses of Loadpath.get_paths.	Guillaume Melquiond	2015-09-29
*	Make it possible for -R to override the existing implicit setting of a path.	Guillaume Melquiond	2015-04-02
*	From X Require Y looks for X with absolute path, disregarding -R.	Pierre-Marie Pédrot	2015-04-01
*	Removing the unused root flag from loadpaths.	Pierre-Marie Pédrot	2015-03-31
*	A more reasonable implementation of Loadpath.	Pierre-Marie Pédrot	2015-03-31
*	Properly set module names in presence of -Q. (Fix for bug #3958)	Guillaume Melquiond	2015-02-05
*	Update headers.	Maxime Dénès	2015-01-12
*	Fix native_compute for systems with a limited size for the command line.	Guillaume Melquiond	2014-05-22
*	Add an option -Q (tentative name).	Guillaume Melquiond	2014-04-08
*	Fix lookup of native files when option -R is missing.	Guillaume Melquiond	2014-03-07
*	Uniformizing the [if_warn] flag used for warning printing and put	ppedrot	2013-05-08
*	code simplifications concerning Summary	letouzey	2013-04-22
*	Synchronizing loadpath with the backtrack mechanism.	ppedrot	2013-03-26
*	Moved the Loadpath part of Library to its own file, and documented	ppedrot	2013-03-26