coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	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-05-05
\|\\|
\| *	Remove almost all the uses of string concatenation when building error messages.	Guillaume Melquiond	2015-04-23
* \|	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
\| *	Removing the unused root flag from loadpaths.	Pierre-Marie Pédrot	2015-03-31
* \|	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
\|/
*	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
*	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot	2014-12-16
*	do not explode if a plugin is not up to date on -help (Close: 3673)	Enrico Tassi	2014-09-29
*	mltop: when a plugin is loaded store its full path in the summary	Enrico Tassi	2014-09-18
*	toploop plugins taken into account when printing --help (close: 3535)	Enrico Tassi	2014-09-09
*	More informative message when Mltop.load_object fails.	Hugo Herbelin	2014-07-01
*	cut toploop(s) out of coqtop: now they are loaded dynamically	Enrico Tassi	2014-06-25
*	Adding the possibility for ML modules to declare functions to be called at	Pierre-Marie Pédrot	2014-05-12
*	Revert "Revert part of eba6b75 as coq_makefile ignores -I if it overlaps with...	Pierre Boutillier	2014-04-09
*	Add an option -Q (tentative name).	Guillaume Melquiond	2014-04-08
*	Revert part of eba6b75 as coq_makefile ignores -I if it overlaps with -R. (Fi...	Guillaume Melquiond	2014-04-07
*	Change handling of loadpath and mlpath.	Guillaume Melquiond	2014-04-06
*	Mltop: explicitly qualify calls to CUnix	Pierre Letouzey	2014-01-30
*	Declared ML Module are not uncapitalized/capitalized/uncapitalized/...	Pierre Boutillier	2014-01-13
*	summary for ML modules made correct	gareuselesinge	2013-08-30
*	Small typo in Print Debug GC	ppedrot	2013-08-02
*	Added a Print Debug GC command that displays the current state of	ppedrot	2013-08-01
*	Uniformizing the [if_warn] flag used for warning printing and put	ppedrot	2013-05-08
*	States: frozen states can hold closures	gareuselesinge	2013-05-06
*	Moved the Loadpath part of Library to its own file, and documented	ppedrot	2013-03-26
*	Restrict (try...with...) to avoid catching critical exn (part 13)	letouzey	2013-03-13
*	More monomorphization.	ppedrot	2013-03-05
*	Dir_path --> DirPath	letouzey	2013-02-19
*	Updating the backtrace handling mechanism to accomodate the new	ppedrot	2013-02-18
*	use List.rev_map whenever possible	letouzey	2013-02-18
*	Actually adding backtrace handling.	ppedrot	2013-01-28
*	Added backtrace information to anomalies	ppedrot	2013-01-28
*	New implementation of the conversion test, using normalization by evaluation to	mdenes	2013-01-22
*	Modulification of dir_path	ppedrot	2012-12-14
*	Modulification of identifier	ppedrot	2012-12-14
*	Moved Stringset and Stringmap to String namespace.	ppedrot	2012-12-14
*	Low-level hack to get some more informative message from dynamic loading errors.	herbelin	2012-12-04
*	Monomorphization (toplevel)	ppedrot	2012-11-26
*	When loading a plugin, prefer .cma to .cmo	gareuselesinge	2012-10-14