coq - the Coq proof assistant

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