coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	* empty log message *	monate	2003-06-18
*	AVL: suite	filliatr	2003-06-18
*	Arguments superflus pour Zlength_nil	herbelin	2003-06-18
*	Ajout option Local aux Hint	herbelin	2003-06-17
*	AVL: suite	filliatr	2003-06-17
*	AVL de caml: un debut	filliatr	2003-06-17
*	maj	filliatr	2003-06-17
*	Ground update	corbinea	2003-06-16
*	Ground depth	filliatr	2003-06-16
*	ground update	corbinea	2003-06-16
*	reparation fsets suite a changement de Ground	filliatr	2003-06-16
*	Ground major update ... mmm, sounds exciting !	corbinea	2003-06-15
*	ground update	corbinea	2003-06-14
*	dependcoq integre les fichiers de fsets	letouzey	2003-06-14
*	Major Ground update, may break semantics	corbinea	2003-06-14
*	Ajout option Local à Hint, Hints et HintDestruct	herbelin	2003-06-14
*	Deplacement de le_minus de fast_integer vers Minus	herbelin	2003-06-14
*	Deplacement de le_minus de fast_integer vers Minus	herbelin	2003-06-14
*	maj	filliatr	2003-06-14
*	changement de spécif du fold	letouzey	2003-06-13
*	Ground update	corbinea	2003-06-13
*	CoqIDE: undo plus efficace sur les inductifs	filliatr	2003-06-13
*	Ground update, new files.	corbinea	2003-06-13
*	coqide: indentation	monate	2003-06-13
*	Utilisation de intro_pattern dans NewDestruct/NewInduction	herbelin	2003-06-13
*	fcts tail-recursives	filliatr	2003-06-13
*	Require Export	filliatr	2003-06-13
*	install-fsets	filliatr	2003-06-13
*	FSets, mais pas compile' par make world	filliatr	2003-06-13
*	suite changements ZArith en vu de librairie FSet	letouzey	2003-06-13
*	quelques adaptations de Zarith en vu de la nouvelle librarie FSet	letouzey	2003-06-13
*	coqide: about now displays versions/Fix for alt-enter	monate	2003-06-13
*	Deplacement d'un lemme sur nat de ZArith vers Arith	herbelin	2003-06-13
*	CoqIDE: undo immediat sur les commandes ne modifiant pas l'etat	filliatr	2003-06-13
*	Ground update.	corbinea	2003-06-13
*	enieme correction du nommage modulaire	letouzey	2003-06-12
*	fin de l'affichage des signatures de modules dans les *.ml	letouzey	2003-06-12
*	MAJ	herbelin	2003-06-12
*	INZ reste constante pour compat V7 mais Unfold INZ est supprimé par le tradu...	herbelin	2003-06-12
*	Ajout option translate_syntax pour caractériser l'interprétation du traduct...	herbelin	2003-06-12
*	Pb quand une meme classe est definie dans 2 fichiers	herbelin	2003-06-11
*	Token '.(' seulement pour v8, sinon conflit avec '.(*'	herbelin	2003-06-11
*	maj	filliatr	2003-06-11
*	MAJ	herbelin	2003-06-10
*	Typo	herbelin	2003-06-10
*	Module Bij inutilise	herbelin	2003-06-10
*	Import nat_scope	herbelin	2003-06-10
*	Suppression d'une occurrence superflue d'argument de type dans Notation sacha...	herbelin	2003-06-10
*	Deplacement delimiteur T dans Notations	herbelin	2003-06-10
*	Module Bij inutilise	herbelin	2003-06-10