coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Prelude : no more autoload of plugins extraction and recdef	Pierre Letouzey	2017-06-14
*	Add transparent_abstract tactic	Jason Gross	2017-04-25
*	Farewell decl_mode	Enrico Tassi	2017-03-07
*	Moving the Tauto tactic to proper Ltac.	Pierre-Marie Pédrot	2016-02-22
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	admit: replaced by give_up + Admitted (no proof_admitted : False, close #4032)	Enrico Tassi	2015-03-11
*	Update headers.	Maxime Dénès	2015-01-12
*	Removing the XML plugin.	Pierre-Marie Pédrot	2014-09-08
*	Arith: full integration of the "Numbers" modular framework	Pierre Letouzey	2014-07-09
*	No more states/initial.coq, instead coqtop now requires Prelude.vo	letouzey	2012-08-23
*	Updating headers.	herbelin	2012-08-08
*	Remove the Dp plugin.	gmelquio	2012-04-17
*	Final part of moving Program code inside the main code. Adapted add_definitio...	msozeau	2012-03-14
*	SearchAbout and similar: add a customizable blacklist	letouzey	2011-08-11
*	Moved the declaration of "Classic" being the default proof mode to coqtop.ml ...	aspiwack	2011-08-09
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Here comes the commit, announced long ago, of the new tactic engine.	aspiwack	2010-04-22
*	Parsing files for numerals (+ ascii/string) moved into plugins	letouzey	2009-03-27
*	Better mechanism for loading initial plugins	letouzey	2009-03-14
*	Fix dependency bugs due to Program modules renamings.	msozeau	2007-08-08
*	Move Program tactics into a proper theories/ directory as they are general pu...	msozeau	2007-08-07
*	Modification des propriétés (svn:executable)	notin	2006-03-17
*	Nouveau fichier Tactics.v collectant les tactiques utiles des utilisateurs	herbelin	2005-02-03
*	Nouvelle en-tête	herbelin	2004-07-16
*	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin	2003-11-29
*	Ordre (symbolique) des Require	herbelin	2003-10-28
*	Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...	herbelin	2003-09-23
*	Suppression DatatypesSyntax et PeanoSyntax qui était vides	herbelin	2003-09-12
*	Deplacement delimiteur T dans Notations	herbelin	2003-06-10
*	Concentration des notations officielles dans Init/Notations; restructuration ...	herbelin	2003-05-21
*	Essai d'introduction d'un scope des types	herbelin	2002-12-03
*	Mise en place d'ensembles de notations symboliques pour nat, Z et R	herbelin	2002-10-13
*	MAJ des Id pour coqweb	herbelin	2002-01-09
*	entetes	filliatr	2001-03-15
*	fichiers prelude Coq	filliatr	1999-12-13