coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Ajout r�f�rences Alexandre Miquel	herbelin	2005-03-07
*	Suppression cible all-ps-docs; ajout www/index.html	herbelin	2005-01-25
*	Correction sur signification induction double	herbelin	2004-12-05
*	Documentation v8 de 'set (id:=t) in ...'	herbelin	2004-12-05
*	Ajout section sur lieurs	herbelin	2004-11-17
*	Am�lioration doc bases de Hints	herbelin	2004-11-10
*	Typos et orthographe	herbelin	2004-11-10
*	Documentation 'Focus num'	herbelin	2004-10-15
*	Ajout pr�vention �chec en pr�sence de sous-typage	herbelin	2004-10-11
*	question pierre corrige	narboux	2004-10-08
*	ajout question Pierre	narboux	2004-10-07
*	minor ~ correction in coq'art url	kirchner	2004-10-04
*	Oublis	herbelin	2004-09-03
*	MAJ	herbelin	2004-09-03
*	Probl�mes hevea + question evars	herbelin	2004-08-03
*	Finalisation avant publication	herbelin	2004-08-03
*	bibtex et hevea	herbelin	2004-08-03