coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Ensure that a function declared with a label is used with it	letouzey	2012-12-08
*	Monomorphization (toplevel)	ppedrot	2012-11-26
*	This patch removes unused "open" (automatically generated from	regisgia	2012-09-14
*	No more states/initial.coq, instead coqtop now requires Prelude.vo	letouzey	2012-08-23
*	Updating headers.	herbelin	2012-08-08
*	Notation: a new annotation "compat 8.x" extending "only parsing"	letouzey	2012-07-05
*	Getting rid of Pp.msgnl and Pp.message.	ppedrot	2012-06-01
*	place all pretty-printing files in new dir printing/	letouzey	2012-05-29
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	/home/pirbo/.coqrc* are read again	pboutill	2011-11-21
*	-user option removal	pboutill	2011-11-21
*	coqrc in the right XDG_CONFIG_HOME/coq folder	pboutill	2011-11-20
*	Add support for XDG_DATA_HOME and XDG_DATA_DIRS.	pboutill	2011-11-20
*	In Coq_config: get rid of coqsrc and make coqlib optional	glondu	2011-09-27
*	Add directories in COQPATH to search path.	herbelin	2011-04-14
*	Reorder search path order, so the standard library is search last.	herbelin	2011-04-14
*	First release of Vector library.	pboutill	2010-12-10
*	Move stuff about positive into a distinct PArith subdir	letouzey	2010-11-02
*	Fix function applications without labels (OCaml warning 6)	glondu	2010-09-28
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	MSets: a new generation of FSets	letouzey	2009-10-13