coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	MAJ	herbelin	2003-01-31
*	Ajout {A New Paradox in Type Theory}	herbelin	2003-01-30
*	MAJ pour Reals	desmettr	2003-01-29
*	maj du fichier treesort.ml inclus dans le chapitre extraction	letouzey	2003-01-23
*	maj extraction V7.4	letouzey	2003-01-23
*	Changement s�mantique Match term	herbelin	2003-01-22
*	Utilisation de 'Recursive' pour les tactiques r�cursives	herbelin	2003-01-20
*	MAJ V7.4	herbelin	2003-01-19
*	Nettoyage	herbelin	2003-01-19
*	typo	herbelin	2003-01-19
*	MAJ Ltac	herbelin	2003-01-19
*	doc SearchAbout	filliatr	2003-01-06
*	Definition -> Parameter dans module types	coq	2002-12-18
*	FAQ	herbelin	2002-12-14
*	Stupid mistake	coq	2002-12-12
*	`\"' redevenu �chappement pour `"'	herbelin	2002-12-02
*	typos	letouzey	2002-12-02
*	Documentation des notations	herbelin	2002-11-28
*	Doc module, premiere version	coq	2002-10-05
*	Le fichier CHANGES au format html - version 7.3.1	herbelin	2002-10-05
*	avertissement Correctness plus d�velopp�	filliatr	2002-09-19
*	MAJ eq_rect, False_rec, False_rect	herbelin	2002-09-16
*	Correction typo d'un but Tauto	herbelin	2002-09-16
*	documentation variante Subst (sans argument)	filliatr	2002-09-16
*	Subst	filliatr	2002-09-12
*	Correction bug Makefile doc	desmettr	2002-09-10
*	MAJ syntaxe 'Hint Rewrite'	herbelin	2002-09-09
*	Retour de Sorting dans la biblio standard	herbelin	2002-08-14
*	Ajout de remarques diverses sur les commandes vernaculaires	herbelin	2002-08-13
*	Local Coercion -> Coercion Local (dans l'index)	filliatr	2002-06-17
*	* empty log message *	herbelin	2002-06-14
*	Library est maintenant engendr� par coqdoc	herbelin	2002-05-22
*	MAJ V7.3	herbelin	2002-05-22
*	MAJ V7.3	herbelin	2002-05-22
*	Evitons de dire que Haskell est un dialect ML	letouzey	2002-05-17
*	MAJ V7.3	herbelin	2002-05-16
*	* empty log message *	mohring	2002-05-14
*	mention de coq-inferior.el	filliatr	2002-04-15
*	doc Intuition et Tauto	courant	2002-04-12
*	Ajout Rename et Pose	herbelin	2002-04-11
*	paragraphe obsolete sur l'extraction	letouzey	2002-04-11
*	maj + examples plus p�dagogiques	letouzey	2002-04-11
*	Quelques pr�cisions sur la convertibilit� et les tactiques Cbv/Lazy	herbelin	2002-03-01
*	correctifs	letouzey	2002-01-18
*	typo	letouzey	2002-01-18
*	actualisation pour la V7.2 de la documentation de l'extraction	letouzey	2002-01-17
*	Typo	herbelin	2002-01-14
*	* empty log message *	mohring	2002-01-14
*	Integration des credits V7.2	mohring	2002-01-14
*	MAJ	herbelin	2002-01-10