coq - The formal proof system

Age	Commit message (Expand)	Author
2012-04-17	Remove the Dp plugin.	gmelquio
2012-03-14	Final part of moving Program code inside the main code. Adapted add_definitio...	msozeau
2011-08-11	SearchAbout and similar: add a customizable blacklist	letouzey
2011-08-09	Moved the declaration of "Classic" being the default proof mode to coqtop.ml ...	aspiwack
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-04-22	Here comes the commit, announced long ago, of the new tactic engine.	aspiwack
2009-03-27	Parsing files for numerals (+ ascii/string) moved into plugins	letouzey
2009-03-14	Better mechanism for loading initial plugins	letouzey
2007-08-08	Fix dependency bugs due to Program modules renamings.	msozeau
2007-08-07	Move Program tactics into a proper theories/ directory as they are general pu...	msozeau
2006-03-17	Modification des propriétés (svn:executable)	notin
2005-02-03	Nouveau fichier Tactics.v collectant les tactiques utiles des utilisateurs	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2003-11-29	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin
2003-10-28	Ordre (symbolique) des Require	herbelin
2003-09-23	Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...	herbelin
2003-09-12	Suppression DatatypesSyntax et PeanoSyntax qui était vides	herbelin
2003-06-10	Deplacement delimiteur T dans Notations	herbelin
2003-05-21	Concentration des notations officielles dans Init/Notations; restructuration ...	herbelin
2002-12-03	Essai d'introduction d'un scope des types	herbelin
2002-10-13	Mise en place d'ensembles de notations symboliques pour nat, Z et R	herbelin
2002-01-09	MAJ des Id pour coqweb	herbelin
2001-03-15	entetes	filliatr
1999-12-13	fichiers prelude Coq	filliatr