coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Specializing the Dyn module to each usecase.	Pierre-Marie Pédrot	2015-12-04
\|/
*	Update headers.	Maxime Dénès	2015-01-12
*	Summary: more surgery functions	Enrico Tassi	2014-12-17
*	STM: modules do not prevent proofs from being ASync	Enrico Tassi	2014-01-05
*	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
*	Updating headers.	herbelin	2012-08-08
*	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
*	Death of "survive_module" and "survive_section" (the first one was	herbelin	2009-08-13
*	Allow to turn contrib/subtac into a (nat)dynlink'able plugin	letouzey	2009-02-03
*	Nouvelle en-tête	herbelin	2004-07-16
*	Correction du bug 335 et Export/Require Export dans un module	coq	2003-10-07
*	False dependencies in summary	coq	2003-02-24
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	entetes	filliatr	2001-03-15
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	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