coq - The formal proof system

Age	Commit message (Expand)	Author
2000-12-06	Modif rapide pour prise en compte eqT	herbelin
2000-12-06	Prise en compte `?' dans les `` ``	herbelin
2000-12-06	MAJ nom long de eq	herbelin
2000-12-06	Bug identarg au lieu de qualidarg	herbelin
2000-12-06	section_path etait en fait bonne dans ast et buggee dans printer.ml	herbelin
2000-12-06	* empty log message *	mohring
2000-12-06	2ème bug de traduction des Path	herbelin
2000-12-06	Bug de traduction des Path	herbelin
2000-12-06	message d'erreur	herbelin
2000-12-06	MAJ	herbelin
2000-12-06	Extension de la syntaxe de LetTac	herbelin
2000-12-06	Ajout erreur DoesNotOccurIn	herbelin
2000-12-06	Suppresion de l'option -as, c'est maintenant -R qui devient l'option standard...	herbelin
2000-12-06	Notion de 'clause_pattern' pour désigner un ensemble d'occurrences dans le b...	herbelin
2000-12-06	Divers bugs LetTac	herbelin
2000-12-06	Retrait list_except_assoc qui existe en standard dans ocaml (remove_assoc)	herbelin
2000-12-06	* empty log message *	mohring
2000-12-06	* empty log message *	mohring
2000-12-06	* empty log message *	mohring
2000-12-06	* empty log message *	mohring
2000-12-06	Pour la phase debugage	mohring
2000-12-06	Reparation conditions de positivites inductifs, echange dans add_entry	mohring
2000-12-06	Correction pour les qualidconstarg	delahaye
2000-12-05	Reparation d'un bug de pretty-print	delahaye
2000-12-05	Plus de quote devant les ident et les ?	delahaye
2000-12-05	Ajout du répertoire config utilisé par System en local	herbelin
2000-12-05	Bug Cases en presence d'une absence de clause	herbelin
2000-12-05	Prise en compte Let dans le calcul des arguments manquants d'un lemme (clenv_...	herbelin
2000-12-05	Inner types are now reduced and arrows are created when	sacerdot
2000-12-05	MAJ	herbelin
2000-12-05	Mini-nettoyage noms longs	herbelin
2000-12-05	Nouvelle table de noms pour les locaux qui ne survit pas à la fermeture de l...	herbelin
2000-12-05	Nouvelle table de noms pour les locaux qui ne survit pas à la fermeture de l...	herbelin
2000-12-04	caractere opaque des constantes repris en compte	filliatr
2000-12-04	Ajout de constr_of_string	mohring
2000-12-02	Portage d'AutoRewrite	delahaye
2000-12-01	LETIN now has a letintarget instead of a target	sacerdot
2000-12-01	cictypes.dtd changed	sacerdot
2000-11-30	Used a force function to force stream evaluation only for aestaetics reasons.	sacerdot
2000-11-30	Identifier order in the inner-types file changed.	sacerdot
2000-11-30	Changement de la syntaxe des options -I et -R	herbelin
2000-11-29	Bug option -I et -R quand le répertoire est '..'	herbelin
2000-11-29	Prise en compte REQUIRE dans print_leaf	herbelin
2000-11-29	Bug option -I et -R quand le répertoire est '.'	herbelin
2000-11-29	Prise en compte de la contrainte de type dans Definition comme étant un cast...	herbelin
2000-11-29	Suppression cast inutile	herbelin
2000-11-29	ajout constr_display	filliatr
2000-11-29	mise a jour	filliatr
2000-11-29	ajout	filliatr
2000-11-29	-I config	mohring