coq - The formal proof system

Age	Commit message (Expand)	Author
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin
2004-02-24	doc coqdoc	filliatr
2004-01-14	ajout d'une passe de latex our avoir un index correct	barras
2004-01-06	doc avec frames	mohring
2004-01-06	addendum comme part5, htmlsplit -> hacha	mohring
2004-01-06	* empty log message *	mohring
2004-01-05	correction bugs commit precedent et mise en forme html	coq
2003-12-30	modif generales claude	coq
2003-12-21	mise a jour Cases	mohring
2003-12-19	deplacement du chap sur ltac	barras
2003-12-19	oups	filliatr
2003-12-19	passe sur les labels et les refs dans chapitres tactiques	filliatr
2003-12-18	avancement	clrenard
2003-12-17	encore un peu de tactiques...	filliatr
2003-12-16	tactiques	filliatr
2003-12-16	tactiques	filliatr
2003-12-16	maj Omega	filliatr
2003-12-12	N gras	marche
2003-12-11	Mis-a-jour modules, ajout de Import et Export	coq
2003-12-10	presentation, biblio;	marche
2003-12-02	plus de pb avec referencemanual.sh	marche
2003-12-01	version et style	marche
2003-11-24	coqide	marche
2003-10-30	Added a tactic entry for Jprover + commented out inputenc in the main file	corbinea
2002-12-12	Stupid mistake	coq
2002-10-05	Doc module, premiere version	coq
2001-12-18	problemes avec le rendu html des tabbing dans la doc de Ltac	barras
2001-06-12	Ajout de la doc pour la tactique Setoid_replace.	clrenard
2001-04-25	Ajout de \begin{coq_eval} Reset Initial. \end{coq_eval} pour remettre les	courant
2001-04-11	documentation automatique de la biblio standard	filliatr
2001-04-09	\usepackage{url}	filliatr
2001-04-09	Mise a jour du chapitre library	mohring
2001-04-05	ajout chapitre langage de tactiques; suppression chapitre obsoletes	filliatr
2000-12-16	RefMan-oth.tex subit d�sormais coq-tex	herbelin
2000-12-12	Initial revision	filliatr