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
2005-07-06	plus de http://www.lri.fr/~letouzey/extraction	letouzey
2004-01-07	plus derreur hevea/hacha	coq
2003-12-30	modif generales claude	coq
2003-12-15	typographie	marche
2003-12-01	version et style	marche
2003-11-12	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-09-26	passage V8	filliatr
2003-01-23	maj du fichier treesort.ml inclus dans le chapitre extraction	letouzey
2003-01-23	maj extraction V7.4	letouzey
2002-05-17	Evitons de dire que Haskell est un dialect ML	letouzey
2002-04-11	maj + examples plus p�dagogiques	letouzey
2002-01-18	correctifs	letouzey
2002-01-18	typo	letouzey
2002-01-17	actualisation pour la V7.2 de la documentation de l'extraction	letouzey
2001-10-16	MAJ V7.1	herbelin
2001-09-19	Changement de syntaxe Extract Constant / Extract Inlined Constant	letouzey
2001-04-25	remarques concernant l'extraction	filliatr
2001-04-10	mise � jour options extraction	filliatr
2001-04-09	mise � jour V7; biblio Correctness	filliatr
2001-04-06	mise a jour V7	filliatr
2001-04-06	debug maj	letouzey
2001-04-05	ajout chapitre langage de tactiques; suppression chapitre obsoletes	filliatr
2001-04-03	mise a jour V7 de la commande Extraction, et des options de coqtop et coqc	filliatr
2000-12-12	Initial revision	filliatr