coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin	2006-02-23
*	plus de http://www.lri.fr/~letouzey/extraction	letouzey	2005-07-06
*	plus derreur hevea/hacha	coq	2004-01-07
*	modif generales claude	coq	2003-12-30
*	typographie	marche	2003-12-15
*	version et style	marche	2003-12-01
*	En fait les Import des Require sont de nouveau utiles	letouzey	2003-11-12
*	maj et passage v8 du chapitre sur l'extraction	letouzey	2003-11-12
*	passage V8	filliatr	2003-09-26
*	maj du fichier treesort.ml inclus dans le chapitre extraction	letouzey	2003-01-23
*	maj extraction V7.4	letouzey	2003-01-23
*	Evitons de dire que Haskell est un dialect ML	letouzey	2002-05-17
*	maj + examples plus p�dagogiques	letouzey	2002-04-11
*	correctifs	letouzey	2002-01-18
*	typo	letouzey	2002-01-18
*	actualisation pour la V7.2 de la documentation de l'extraction	letouzey	2002-01-17
*	MAJ V7.1	herbelin	2001-10-16
*	Changement de syntaxe Extract Constant / Extract Inlined Constant	letouzey	2001-09-19
*	remarques concernant l'extraction	filliatr	2001-04-25
*	mise � jour options extraction	filliatr	2001-04-10
*	mise � jour V7; biblio Correctness	filliatr	2001-04-09
*	mise a jour V7	filliatr	2001-04-06
*	debug maj	letouzey	2001-04-06
*	ajout chapitre langage de tactiques; suppression chapitre obsoletes	filliatr	2001-04-05
*	mise a jour V7 de la commande Extraction, et des options de coqtop et coqc	filliatr	2001-04-03
*	Initial revision	filliatr	2000-12-12