coq - The formal proof system

Age	Commit message (Expand)	Author
2003-11-25	CC: added injection theory	corbinea
2003-11-19	ajout de Znumtheory.v dans ZArith	letouzey
2003-11-14	MAJ	herbelin
2003-11-13	MAJ	herbelin
2003-11-09	make moins verbeux, suite (et fin?)	letouzey
2003-11-05	MAJ	herbelin
2003-11-02	MAJ	herbelin
2003-10-29	* empty log message *	herbelin
2003-10-28	Nouveaux fichiers dans Logic	herbelin
2003-10-22	MAJ	herbelin
2003-10-21	MAJ	herbelin
2003-10-11	mise a jour nouvelle syntaxe	barras
2003-10-10	Renommage en v8 de PolyList en List et List en MonoList	herbelin
2003-10-07	Correction du bug 335 et Export/Require Export dans un module	coq
2003-09-23	Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...	herbelin
2003-09-12	Suppression DatatypesSyntax et PeanoSyntax qui était vides	herbelin
2003-07-10	coqide: warn when using locale or manual charset	monate
2003-06-25	coqide : status bar more informative, forbid Section/Module in proo mode	monate
2003-06-15	Ground major update ... mmm, sounds exciting !	corbinea
2003-06-14	Major Ground update, may break semantics	corbinea
2003-06-13	FSets, mais pas compile' par make world	filliatr
2003-06-13	quelques adaptations de Zarith en vu de la nouvelle librarie FSet	letouzey
2003-06-12	MAJ	herbelin
2003-05-21	Concentration des notations officielles dans Init/Notations; restructuration ...	herbelin
2003-05-14	coqide: load/save file encoding support/	monate
2003-05-13	Nouveaux lemmes (sur proposition de Nijmegen)	herbelin
2003-05-05	Corrige Bug (PR#290)	coq
2003-04-22	coqide : progressbar	monate
2003-04-10	coqide: thread bug fix	monate
2003-03-12	* Ajout du traducteur nouvelle syntaxe *	barras