coq - The formal proof system

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