coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Bump year in headers.	Maxime Dénès	2017-06-01
*	Make it explicit when paths are added to the ML search paths.	Guillaume Melquiond	2016-09-09
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Remove Mltop.add_path as it is no longer possible to import files from subdir...	Guillaume Melquiond	2015-04-02
*	Update headers.	Maxime Dénès	2015-01-12
*	toploop plugins taken into account when printing --help (close: 3535)	Enrico Tassi	2014-09-09
*	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
*	Add an option -Q (tentative name).	Guillaume Melquiond	2014-04-08
*	Added a Print Debug GC command that displays the current state of	ppedrot	2013-08-01
*	Dir_path --> DirPath	letouzey	2013-02-19
*	Modulification of dir_path	ppedrot	2012-12-14
*	Updating headers.	herbelin	2012-08-08
*	Ensure that a plugin init function is called only once	letouzey	2012-07-12
*	Cleaning Pp.ppnl use	ppedrot	2012-06-01
*	Add support for plugin initialization function	gareuselesinge	2012-01-26
*	Minor code improvements around libobject	herbelin	2010-10-31
*	Some dead code removal, thanks to Oug analyzer	letouzey	2010-09-24
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	New script dev/tools/change-header to automatically update Coq files headers.	herbelin	2010-06-22
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill	2010-04-29
*	Add support for Local Declare ML Module	glondu	2009-09-29
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Better mechanism for loading initial plugins	letouzey	2009-03-14
*	Sequel of 11697: repair coqtop.byte when contribs are statically linked (+min...	letouzey	2008-12-17
*	Native "Declare ML Module" when possible	glondu	2008-10-28
*	Nouvelle en-tête	herbelin	2004-07-16
*	Commentaires pour make doc	herbelin	2001-09-24
*	amelioration des messages d'erreurs vis a vis des evars	barras	2001-05-23
*	entetes	filliatr	2001-03-15
*	Centralisation des add_path dans Mltop a cause de la dependance en add_ml_dir	herbelin	2001-02-07
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	- coqc: utilise le meilleur coq possible	filliatr	2000-11-24
*	documentation interfaces	filliatr	1999-12-13
*	retablissement du toplevel	filliatr	1999-09-28