coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	MAJ	herbelin	2003-10-21
*	mise a jour nouvelle syntaxe	barras	2003-10-11
*	Renommage en v8 de PolyList en List et List en MonoList	herbelin	2003-10-10
*	Correction du bug 335 et Export/Require Export dans un module	coq	2003-10-07
*	Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...	herbelin	2003-09-23
*	Suppression DatatypesSyntax et PeanoSyntax qui était vides	herbelin	2003-09-12
*	coqide: warn when using locale or manual charset	monate	2003-07-10
*	coqide : status bar more informative, forbid Section/Module in proo mode	monate	2003-06-25
*	Ground major update ... mmm, sounds exciting !	corbinea	2003-06-15
*	Major Ground update, may break semantics	corbinea	2003-06-14
*	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-13
*	MAJ	herbelin	2003-06-12
*	Concentration des notations officielles dans Init/Notations; restructuration ...	herbelin	2003-05-21
*	coqide: load/save file encoding support/	monate	2003-05-14
*	Nouveaux lemmes (sur proposition de Nijmegen)	herbelin	2003-05-13
*	Corrige Bug (PR#290)	coq	2003-05-05
*	coqide : progressbar	monate	2003-04-22
*	coqide: thread bug fix	monate	2003-04-10
*	* Ajout du traducteur nouvelle syntaxe *	barras	2003-03-12