coq - The formal proof system

Age	Commit message (Expand)	Author
2000-12-06	Prise en compte `?' dans les `` ``	herbelin
2000-12-05	Reparation d'un bug de pretty-print	delahaye
2000-12-04	caractere opaque des constantes repris en compte	filliatr
2000-11-28	Elimination du '	delahaye
2000-11-27	Remettre une section dans fast_integer pour contourner un bug de définition ...	herbelin
2000-11-27	La bonne modif des Unfold	herbelin
2000-11-27	Suppression de Unfold inutile et maintenant échouant	herbelin
2000-11-27	Changement du parseur par défaut dans Syntax	herbelin
2000-11-26	Le nouvel Induction s'appelle NewInduction	herbelin
2000-11-24	Petite simplif due au nouveau Tauto	delahaye
2000-11-23	Ajout d'une syntaxe pour Reals.	mayero
2000-11-21	Nettoyage	herbelin
2000-11-21	ajout de theories/Wellfounded	filliatr
2000-11-21	separation calcul des implicites et declaration des constantes / inductifs / ...	filliatr
2000-11-20	Bug dans la règle de syntaxe de ex2	herbelin
2000-11-20	Nettoyage + prise en compte noms longs	herbelin
2000-11-20	Suppression de la section fast_integer qui cachait le nom du module éponyme	herbelin
2000-11-13	Retour a la version 1.1	herbelin
2000-11-11	Y avait des '.' non suivis d'un séparateur	herbelin
2000-11-10	mise-a-jour, ajouts de quelques truc...	mayero
2000-11-10	Finalement PolyListSyntax est necessaire (la redondance venait d'une confusio...	herbelin
2000-11-07	Modification de la table des tactic Definitions pour eviter l'ecriture	mohring
2000-11-07	Changement/extension dans les noms de parseurs de Grammar	herbelin
2000-11-07	Orthographe	herbelin
2000-11-05	Plus besoin de débrancher la preuve qui ne passait pas	herbelin
2000-11-05	Plus besoin de rajouter "Require Plus"	herbelin
2000-11-05	Pour ne plus éviter temporairement le "Auto with zarith" !	herbelin
2000-10-30	Suppression d'Intuition (trop intelligent?)	delahaye
2000-10-30	Pour eviter temporairement le "Auto with zarith"	delahaye
2000-10-27	Passage command -> constr	herbelin
2000-10-27	g_natsyntax et g_zsyntax maintenant toujours linkes	filliatr
2000-10-27	Mise a jour TheoryList	mohring
2000-10-26	Retire les parentheses autour des tactiques	mohring
2000-10-18	Parsing des motifs de Syntax avec la grammaire associée à l'univers de la d...	herbelin
2000-10-12	Parentheses	herbelin
2000-10-10	Finalement, encore un Simpl inutile	herbelin
2000-10-06	Parenthèses pour les tactiques	herbelin
2000-10-06	Changement dans la stratégie de réduction du Fix par Simpl	herbelin
2000-10-06	Un usage en moins de l'axiome eq_rec_eq	herbelin
2000-10-05	Remplacement de la tactique Program (partiel)	herbelin
2000-10-04	Commit malencontreux sur précédente version	herbelin
2000-10-04	Mise en conformité nouveau Simpl pour Fix	herbelin
2000-07-28	Plus de piquants dans les actions des grammaires; nom de la grammaire pris co...	herbelin
2000-07-20	portage Refine	filliatr
2000-07-04	correction	mayero
2000-07-03	ajouts	mayero
2000-07-03	Traduction de syntaxe vers ltac	delahaye
2000-07-01	Séparation des caractères spéciaux par un blanc	herbelin
2000-07-01	Retrait des parenthèses inutiles autour des tactiques	herbelin
2000-06-21	Require Plus ajoute	filliatr