coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	MAJ de la biblio du manuel de référence	notin	2006-07-28
*	MAJ	jforest	2006-07-17
*	Documentation machine virtuelle	herbelin	2006-07-12
*	MAJ doc/refman	notin	2006-07-11
*	Documentation de lazymatch et des extensions de idtac et fail	herbelin	2006-07-11
*	Documentation Declare Implicit Tactic, Print Canonical Projections, ... + lé...	herbelin	2006-07-07
*	MAJ du manuel de référence (modules+fixpoints+pose proof)	notin	2006-07-07
*	Documentation Whelp	herbelin	2006-07-06
*	Ajout taclevel	herbelin	2006-07-05
*	Documentation Print Ltac qualid; documentation du debugger de ltac.	herbelin	2006-07-05
*	Précisions sur l'Unicode reconnu; typo; ajout Example, Proposition, Corollary.	herbelin	2006-07-05
*	Mise à jour scopes prédéfinis et Tactic Notation pour tacticals	herbelin	2006-07-05
*	Documentation 'external'	herbelin	2006-07-05
*	Doc Print Grammar pattern	herbelin	2006-07-04
*	Documentation or-pattern	herbelin	2006-07-04
*	Documentation or-pattern	herbelin	2006-07-04
*	Ajout cible refman-quick qui teste la compilation sans faire les index, toc e...	herbelin	2006-07-04
*	Typo dans le manuel de référence	notin	2006-07-04
*	Ajout espacement autour des symboles latex a l'attention de 'hevea -nosymb' +...	herbelin	2006-07-04
*	MAJ du manuel de référence	notin	2006-07-04
*	MAJ manuel de référence	notin	2006-07-03
*	Nouveau paragraphe sur le polymorphisme de sorte des inductifs	herbelin	2006-06-23
*	Mention de coqide, proof general et pcoq	herbelin	2006-06-23
*	updated documentation for my tactics (P. orbineau	corbinea	2006-06-22
*	Changement du index.html généré dans refman	notin	2006-06-13
*	Typo in replace doc.	jforest	2006-06-12
*	Updating documentation of replace and correcting a typo in error message of r...	jforest	2006-06-12
*	ajout de la doc sur l'option -enable-geoproof de CoqIDE	jnarboux	2006-06-10
*	Commit doc Claudio Sacerdoti	herbelin	2006-06-09
*	Nouvelle MAJ	herbelin	2006-06-09
*	ajout de la doc de classical_right et left	jnarboux	2006-06-09
*	MAJ liste fichiers doc stdlib	herbelin	2006-06-09
*	petites corrections dans la doc de functional xxx.	courtieu	2006-06-07
*	Nouveaux Parametres Inductifs	cpaulin	2006-06-07
*	mise en texttt d'une commande.	courtieu	2006-06-07
*	Changements sur Functional xxx. Plus précis et plus exact.	courtieu	2006-06-07
*	Ajout de précisions dans la doc de functional scheme et consort +	courtieu	2006-06-06
*	Debut modif parametres inductifs CIC	cpaulin	2006-06-06
*	nouveaux parametres	cpaulin	2006-06-05
*	Update Program/subtac documentation.	msozeau	2006-06-01
*	Support des modules dans Coqdoc	notin	2006-05-26
*	updating Function documentation	jforest	2006-05-17
*	doc du in de match/with	barras	2006-05-05
*	Correction comportement clause _ du match goal	herbelin	2006-05-05
*	Ajout d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ...	notin	2006-05-02
*	Continue l'écriture de la doc de "Function". Pas fini, manque:	courtieu	2006-04-28
*	Ajout de la doc de l'option -stdout de coqdoc	notin	2006-04-27
*	Added a short doc for "Function". To be finished.	courtieu	2006-04-27
*	Enleve les commentaires	cpaulin	2006-04-14
*	MAJ 8.1-APP	herbelin	2006-04-13