coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Better error messages when unfreezing summary entries	Enrico Tassi	2014-10-30
*	Better implementation of summary unfreezing.	Pierre-Marie Pédrot	2013-11-24
*	Using hashes in Summary, like the previous commit did with Dyn.	Pierre-Marie Pédrot	2013-11-22
*	Summary: if an unfreeze function fails, print an error message	gareuselesinge	2013-10-18
*	Removing a bunch of generic equalities.	ppedrot	2013-09-27
*	summary for ML modules made correct	gareuselesinge	2013-08-30
*	enhance marshallable option for freeze (minor TODO in safe_typing)	gareuselesinge	2013-08-08
*	States: frozen states can hold closures	gareuselesinge	2013-05-06
*	Summary: support selective freeze	gareuselesinge	2013-05-06
*	code simplifications concerning Summary	letouzey	2013-04-22
*	Uniformization of the "anomaly" command.	ppedrot	2013-01-28
*	Moved Stringset and Stringmap to String namespace.	ppedrot	2012-12-14
*	Updating headers.	herbelin	2012-08-08
*	Noise for nothing	pboutill	2012-03-02
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Death of "survive_module" and "survive_section" (the first one was	herbelin	2009-08-13
*	Nouvelle en-tête	herbelin	2004-07-16
*	Correction du bug 335 et Export/Require Export dans un module	coq	2003-10-07
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	compat ocaml 3.03	filliatr	2001-12-13
*	entetes	filliatr	2001-03-15
*	certains effets disparaissent a la sortie des sections, d'autres non (selon S...	filliatr	2000-11-24
*	modules System, Lib et States	filliatr	1999-09-10
*	modules Libobject et Summary (partiel)	filliatr	1999-09-03