coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	coqc -o now places .glob file near .vo file	Enrico Tassi	2016-09-22
*	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-08-21
\|\
\| *	Fix incorrect glob data for module symbols (bug #2336).	Guillaume Melquiond	2016-08-18
* \|	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
\|/
*	Increase the size of the dumpglob buffer for cooking notations (bug #4708).	Guillaume Melquiond	2016-05-04
*	Implement support for universe binder lists in Instance and Program Fixpoint/...	Matthieu Sozeau	2016-01-23
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Do not dump a glob reference when its location is ghost. (Fix bug #4469)	Guillaume Melquiond	2015-12-31
*	Update headers.	Maxime Dénès	2015-01-12
*	Fixing what really looks like a bug in the initial implementation of	Hugo Herbelin	2014-10-22
*	Print [Variant] types with the keyword [Variant].	Arnaud Spiwack	2014-09-04
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau	2014-05-06
*	Have the feedback bus as a backend for dumping globs.	Carst Tankink	2014-04-10
*	Dumpglob: factor out reference dumping.	Carst Tankink	2014-04-10
*	Misc changes around coqtop.ml :	letouzey	2013-08-22
*	minor cleanup in coqtop.ml	letouzey	2013-04-23
*	Dir_path --> DirPath	letouzey	2013-02-19
*	Modulification of dir_path	ppedrot	2012-12-14
*	Modulification of identifier	ppedrot	2012-12-14
*	Monomorphization (interp)	ppedrot	2012-11-25
*	Moving Utils.list_* to a proper CList module, which includes stdlib	ppedrot	2012-09-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
*	Noise for nothing	pboutill	2012-03-02
*	Fixed broken globalization of identifiers containing utf8 letters	herbelin	2011-10-29
*	Added checksums to glob files and warned about possibly missing	herbelin	2011-10-29
*	Fixing several bugs with links to notation in coqdoc, including bug #2445:	herbelin	2010-12-04
*	Some dead code removal, thanks to Oug analyzer	letouzey	2010-09-24
*	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
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Small things about coqdoc + fixing lettuple.v test (part of bug #2289)	herbelin	2010-03-30
*	Several bug-fixes and improvements of coqdoc	herbelin	2010-03-29
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	- Cleaning phase of the interfaces of libnames.ml and nametab.ml	herbelin	2009-08-06
*	Some dead code removal + cleanups	letouzey	2009-04-08
*	Dumpglob.dump_modref : fix an assert failure	letouzey	2008-10-14
*	Suite commit 11236	notin	2008-07-24
*	Stop glob messages to be printed by default on stdout	letouzey	2008-07-23
*	Oubli lors du commit #11236	notin	2008-07-22
*	Suite commit 11236	notin	2008-07-21
*	Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...	notin	2008-07-18
*	Utilisation de try_locate_qualified_library au lieu de locate_qualified_libra...	notin	2008-07-07
*	- Improve [Context] vernacular to allow arbitrary binders, not just	msozeau	2008-07-07
*	Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...	notin	2008-06-25