coq - The formal proof system

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