coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[api] Remove deprecated object from `Term`	Emilio Jesus Gallego Arias	2018-05-30
*	[api] Relocate `intf` modules according to dependency-order.	Emilio Jesus Gallego Arias	2018-04-23
*	Decl_kinds becomes a pure mli file, remaining ops in new file kindops.ml	letouzey	2012-05-29
*	Noise for nothing	pboutill	2012-03-02
*	Revert "Add [Polymorphic] flag for defs"	msozeau	2011-04-13
*	Add [Polymorphic] flag for defs	msozeau	2011-04-13
*	Remove the "Boxed" syntaxes and the const_entry_boxed field	letouzey	2011-01-28
*	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
*	Les records déclarés avec Record ne peuvent plus être récursifs (le	aspiwack	2009-01-19
*	Improvements on coqdoc by adding more information into .glob	msozeau	2008-05-30
*	Prise en compte des coercions dans les clauses "with" même si le type	herbelin	2008-04-23
*	Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...	msozeau	2007-12-31
*	Ajout syntaxe concrète Proposition, synonyme de Lemma	herbelin	2006-01-29
*	- Ajout syntaxe concrète Property/Corollary, synonymes de Lemma	herbelin	2006-01-28
*	COMMITED BYTECODE COMPILER	barras	2004-10-20
*	Suppression IsConjecture redondant avec Conjectural	herbelin	2004-10-11
*	Nouvelle en-tête	herbelin	2004-07-16
*	Conjecture declare maintenant un axiome; reorganisation VernacDefinition	herbelin	2003-10-23
*	Mise en place d'un couple 'Conjecture/Admitted' pour déclarer un énoncé in...	herbelin	2003-10-08
*	Ajout réaffichage SubClass	herbelin	2003-03-13
*	Ajout du traducteur	desmettr	2003-02-05
*	Intégration des modifs de la branche mowgli :	herbelin	2002-11-05