coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[api] Deprecate all legacy uses of Names in core.	Emilio Jesus Gallego Arias	2017-11-06
*	Allow declaring universe constraints at definition level.	Matthieu Sozeau	2017-09-19
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	[location] Make location optional in Loc.located	Emilio Jesus Gallego Arias	2017-04-25
*	coqc -o now places .glob file near .vo file	Enrico Tassi	2016-09-22
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Export type_of_global_ref (useful for external users of glob files)	Enrico Tassi	2014-07-11
*	Have the feedback bus as a backend for dumping globs.	Carst Tankink	2014-04-10
*	Misc changes around coqtop.ml :	letouzey	2013-08-22
*	Dir_path --> DirPath	letouzey	2013-02-19
*	Modulification of dir_path	ppedrot	2012-12-14
*	Modulification of identifier	ppedrot	2012-12-14
*	Updating headers.	herbelin	2012-08-08
*	Added an indirection with respect to Loc in Compat. As many [open Compat]	ppedrot	2012-06-22
*	Avoid Dumpglob dependency on Lexer	letouzey	2012-05-29
*	global_reference migrated from Libnames to new Globnames, less deps in gramma...	letouzey	2012-05-29
*	New files intf/constrexpr.mli and intf/notation_term.mli out of Topconstr	letouzey	2012-05-29
*	Noise for nothing	pboutill	2012-03-02
*	Added checksums to glob files and warned about possibly missing	herbelin	2011-10-29
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Constrintern: unified push_name_env and push_loc_name_env; made	herbelin	2010-07-22
*	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
*	Several bug-fixes and improvements of coqdoc	herbelin	2010-03-29
*	Suite commit 11236	notin	2008-07-24