coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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