coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Grossière erreur de typage	herbelin	2001-12-18
*	Nettoyage exceptions liées au vieux Case	herbelin	2001-12-18
*	Nettoyage exceptions liées au vieux Case; réparation du try with UserError ...	herbelin	2001-12-18
*	Mauvais nom d'erreur d'échec de nth	herbelin	2001-12-17
*	probleme des Require dans les sections	barras	2001-12-17
*	le save de Correctness faisant assert false	barras	2001-12-17
*	Ajout syntaxe 'Canonical Structure' en remplacement de @Definition + suppress...	herbelin	2001-12-16
*	MAJ	herbelin	2001-12-13
*	* empty log message *	herbelin	2001-12-13
*	MAJ de la traduction en ast des variables de section en qualid	herbelin	2001-12-13
*	Contournement du problème des evars de type, typées par défaut dans Type (...	herbelin	2001-12-13
*	Affichage NewInduction/NewDesctruct	herbelin	2001-12-13
*	Contournement du problème des evars de type, typées par défaut dans Type	herbelin	2001-12-13
*	package Debian 7.1, correction pb compilation native sur certaines architectures	courant	2001-12-13
*	compat ocaml 3.03	filliatr	2001-12-13
*	MAJ	herbelin	2001-12-12
*	suppression de l'affichage des noeuds Change_evars	barras	2001-12-11
*	* empty log message *	courant	2001-12-11
*	ajout du document sur la nouvelle syntaxe	barras	2001-12-11
*	document sur les propositions de nouvelle syntaxe	barras	2001-12-11
*	Mise en place de coercion dans les motifs	herbelin	2001-12-11
*	Test des coercions dans les motifs	herbelin	2001-12-11
*	- condition de garde (suite)	barras	2001-12-10
*	correction de bugs concernant la gestion des modules. debranchement du test d...	letouzey	2001-12-10
*	mise a jour	filliatr	2001-12-10
*	* empty log message *	desmettr	2001-12-07
*	* empty log message *	desmettr	2001-12-07
*	Maj	herbelin	2001-12-06
*	Parade contre effet indésirable du commit précédent	herbelin	2001-12-06
*	Affichage des '_' pour Intros	herbelin	2001-12-06
*	Amélioration nommage hypothèses NewInduction (et incompatibilités)	herbelin	2001-12-06
*	* empty log message *	desmettr	2001-12-05
*	* empty log message *	desmettr	2001-12-05
*	* empty log message *	desmettr	2001-12-05
*	* empty log message *	desmettr	2001-12-05
*	* empty log message *	desmettr	2001-12-05
*	* empty log message *	desmettr	2001-12-05
*	* empty log message *	desmettr	2001-12-05
*	* empty log message *	desmettr	2001-12-05
*	Rustine pour garder la compatibilité avec la 7.1 pour l'ordre des imports sa...	herbelin	2001-12-05
*	Traitement t de -1<>0	delahaye	2001-12-04
*	bug fix de la condition de garde	barras	2001-12-04
*	Backtrack sur le commit du 30.11.2001	delahaye	2001-12-04
*	* empty log message *	desmettr	2001-12-03
*	desobfuscation du code de la verif de la condition de garde	barras	2001-11-30
*	* empty log message *	desmettr	2001-11-30
*	* empty log message *	desmettr	2001-11-30
*	* empty log message *	desmettr	2001-11-30
*	Ajout du fichier	desmettr	2001-11-30
*	* empty log message *	desmettr	2001-11-30