coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	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
*	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
*	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
*	Moved the Loadpath part of Library to its own file, and documented	ppedrot	2013-03-26