coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	maj	filliatr	2003-05-21
*	CoqIde: externals	monate	2003-05-20
*	Prise en compte notation dans Inductif pour traducteur	herbelin	2003-05-20
*	command_windows fix	monate	2003-05-20
*	Extension renommage	herbelin	2003-05-20
*	maj	filliatr	2003-05-20
*	Affichage META	herbelin	2003-05-19
*	Restructutation Hipattern Pattern	herbelin	2003-05-19
*	Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern	herbelin	2003-05-19
*	Restructuration des procédures de filtrage	herbelin	2003-05-19
*	* empty log message *	monate	2003-05-19
*	CoqIde : but reset_mod	filliatr	2003-05-19
*	configure et make install s'occupent de CoqIde tout seuls	filliatr	2003-05-19
*	but Require dans une Section	filliatr	2003-05-19
*	maj	filliatr	2003-05-17
*	Major Ground tactic update, sensible performance improvement	corbinea	2003-05-16
*	table des modules charges (Library.compunit_cache) synchronizee (pour CoqIde ...	filliatr	2003-05-15
*	class CoqIde donnée à l'application, pour une meilleure intégration	filliatr	2003-05-15
*	maj	filliatr	2003-05-15
*	coqide: .* on start/add \n on eof	monate	2003-05-14
*	coqide: load/save file encoding support/	monate	2003-05-14
*	Amelioration presentation	herbelin	2003-05-14
*	Amelioration affichage	herbelin	2003-05-14
*	Hack pour ameliorer l'affichage des applications dans les `...` et	herbelin	2003-05-14
*	maj	filliatr	2003-05-14
*	Suppression de 'R' dans la notation == entre	herbelin	2003-05-14
*	Suppression de 'R' dans la notation == entre	herbelin	2003-05-14
*	Deplacement lemmes sur fact de Reals vers Arith	herbelin	2003-05-14
*	Nouveaux lemmes	herbelin	2003-05-13
*	Nouveaux lemmes (sur proposition de Nijmegen)	herbelin	2003-05-13
*	Affichage commentaires	herbelin	2003-05-13
*	Nouveaux lemmes (sur proposition de Nijmegen)	herbelin	2003-05-13
*	Rien d'important	herbelin	2003-05-13
*	Notations arithmetiques	herbelin	2003-05-13
*	Orthographe anglaise - typos	herbelin	2003-05-13
*	Orthographe anglaise	herbelin	2003-05-13
*	Separation entre les propositions de syntaxe - suite	herbelin	2003-05-13
*	Separation entre les 2 propositions de syntaxe	herbelin	2003-05-13
*	Modif de coq-tex - meilleur affichage des suite de coq_example's	coq	2003-05-13
*	coqide: all can focus	monate	2003-05-12
*	CoqIde: AccelMap support	monate	2003-05-12
*	ajout inverse relation bien fondee	mohring	2003-05-09
*	maj	filliatr	2003-05-09
*	bugfixes in Ground.	corbinea	2003-05-08
*	Petite correction d'affichage de modules	coq	2003-05-08
*	coqide: missing files	monate	2003-05-07
*	coqide: GtkData dep	monate	2003-05-07
*	coqide: toolbar/autosave	monate	2003-05-07
*	coqide: toolbar/autosave	monate	2003-05-07
*	Enhancement of the Ground tactic, addition of GTauto and GIntuition.	corbinea	2003-05-07