coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[general] Remove spurious dependency of highparsing on toplevel.	Emilio Jesus Gallego Arias	2017-07-31
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Add a version to be used when parsing compatibility notations mentioning old ...	Guillaume Melquiond	2017-06-14
*	[stm] Port the toplevel to the STM.	Emilio Jesus Gallego Arias	2017-04-12
*	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
*	Add an option -Q (tentative name).	Guillaume Melquiond	2014-04-08
*	Change handling of loadpath and mlpath.	Guillaume Melquiond	2014-04-06
*	Dir_path --> DirPath	letouzey	2013-02-19
*	Modulification of dir_path	ppedrot	2012-12-14
*	Updating headers.	herbelin	2012-08-08
*	Notation: a new annotation "compat 8.x" extending "only parsing"	letouzey	2012-07-05
*	-user option removal	pboutill	2011-11-21
*	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
*	Nouvelle en-tête	herbelin	2004-07-16
*	amelioration des messages d'erreurs vis a vis des evars	barras	2001-05-23
*	entetes	filliatr	2001-03-15
*	Meilleure approche du conflit path/freeze/library_root en séquentialisant la...	herbelin	2001-02-07
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...	herbelin	2000-11-29
*	nouveau load path	filliatr	2000-11-08
*	modules profile, Coqinit et Coqtop (=main)	filliatr	1999-12-03