coq - the Coq proof assistant

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