coq - The formal proof system

Age	Commit message (Expand)	Author
2003-11-27	Qualification des noms utilisateurs en cas de collision avec un nom nouveau	herbelin
2003-11-27	Monstrueuse inefficacite due a l'innocence du redacteur de la ligne vis a vis...	herbelin
2003-11-27	Hint Destruct mal affiche	barras
2003-11-27	* empty log message *	barras
2003-11-27	Reparation bug compil	mohring
2003-11-27	maj	filliatr
2003-11-27	maj	filliatr
2003-11-27	Ajout ne_string	herbelin
2003-11-26	Traduction de @; simplification traduction des ident	herbelin
2003-11-26	Renommage de tactiques ltac coincidant avec certaines tactiques primitives	herbelin
2003-11-26	Protection contre les notations vides	herbelin
2003-11-26	Remplacement de l'indicateur de date "@" par 'at'	herbelin
2003-11-26	Export string_index_from	herbelin
2003-11-26	Traduction de tactic:constrarg en constr:constr pour les arguments de Tactic ...	herbelin
2003-11-26	just forgot something in previous commit	corbinea
2003-11-26	removal of CC.v lemata in cc (deprecated)	corbinea
2003-11-26	maj	filliatr
2003-11-25	Garder 'destruct using' a l'affichage ?	herbelin
2003-11-25	modif lexer: ident peut commencer par _	barras
2003-11-25	Version preliminaire pour la V8	herbelin
2003-11-25	Uniformisation des politiques de nommage de NewDestruct sur arguments recursi...	herbelin
2003-11-25	Traduction Print Proof	herbelin
2003-11-25	CC: added injection theory	corbinea
2003-11-25	textes	marche
2003-11-25	maj	filliatr
2003-11-25	maj	filliatr
2003-11-24	about	marche
2003-11-24	MAJ	herbelin
2003-11-24	tentative de completion ESC-/ a la emacs	letouzey
2003-11-24	Prise en compte des defs syntaxiques dans is_global et global_reference qui p...	herbelin
2003-11-24	Renoncement de la compatibilite des noms qualifies au profit de la compatibil...	herbelin
2003-11-24	maj	filliatr
2003-11-24	maj	filliatr
2003-11-23	MAJ	herbelin
2003-11-23	MAJs	herbelin
2003-11-23	Prise en compte des definitions locales dans les (co-)points-fixes	herbelin
2003-11-22	Compatibilite	herbelin
2003-11-22	Traitement plus clair, notamment pour Locate, de quand quoter les composantes...	herbelin
2003-11-22	Bug introduit avec le 'Simpl f'	herbelin
2003-11-22	maj	filliatr
2003-11-22	maj	filliatr
2003-11-21	Suppression des niveaux vides	herbelin
2003-11-21	ajout Pnat et Pcompare_antisym	herbelin
2003-11-21	Ajout 'Simpl f'	herbelin
2003-11-21	Simplification; ajout Zcompare_antisym	herbelin
2003-11-21	ajout Pnat (suite)	herbelin
2003-11-21	ajout Pnat (suite)	herbelin
2003-11-21	Extraction des lemmes sur convert/nat_of_P de BinPos vers Pnat; ajout Pcase e...	herbelin
2003-11-21	Ajout Print Implicit	herbelin
2003-11-21	Tri et typo	herbelin