coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	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
*	MAJ 8.1-APP	herbelin	2006-04-13
*	Changement de licence pour le Tutoriel de Coq	notin	2006-04-12
*	- Documentation of the Program tactics.	msozeau	2006-04-07
*	MAJ Licence FAQ	herbelin	2006-04-05
*	Bug index addendum à cause mauvaise utilisation asection dans Helm.tex	herbelin	2006-04-04
*	Petite actualisation FAQ	herbelin	2006-03-31
*	- correction d'un bug dans coqdoc (multi_index)	notin	2006-03-28
*	r8709@thot: notin \| 2006-03-25 01:48:46 +0100	notin	2006-03-25
*	r8708@thot: notin \| 2006-03-24 18:55:01 +0100	notin	2006-03-25
*	r8637@thot: notin \| 2006-03-14 16:00:49 +0100	notin	2006-03-14
*	MAJ	herbelin	2006-03-10
*	Ajout Tutorial on recursive types	herbelin	2006-03-10
*	Suppression de la coupure entre base et addendum (quitte à le remettre si de...	herbelin	2006-03-03
*	Inutile en svn	herbelin	2006-03-03
*	Typo	herbelin	2006-03-03
*	Modification des propriétés des fichiers .tex (svn:executable)	notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty	2006-02-24
*	Uniformisation noms Library*.tex	herbelin	2006-02-23
*	Mise à jour des Makefile, ajout licences, corrections mineures suite à	herbelin	2006-02-23
*	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin	2006-02-23
*	Ajout licence open publication � la doc (sous r�serve OK pour tutorial)	herbelin	2006-01-27
*	Pourquoi math goal parfois interdit	herbelin	2005-10-14
*	plus de http://www.lri.fr/~letouzey/extraction	letouzey	2005-07-06
*	Updated new names of Local into Let	herbelin	2005-05-20
*	suite commit pr�c�dent	herbelin	2005-05-05
*	Copyright 2005	herbelin	2005-05-05
*	Correction du bug de contraintes d'univers dans exType (mentionn� par Georg...	herbelin	2005-05-05
*	Ajout r�f�rence Luo	herbelin	2005-03-07