coq - The formal proof system

Age	Commit message (Expand)	Author
2003-05-20	maj	filliatr
2003-05-19	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-17	maj	filliatr
2003-05-16	Major Ground tactic update, sensible performance improvement	corbinea
2003-05-15	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-14	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-13	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-12	coqide: all can focus	monate
2003-05-12	CoqIde: AccelMap support	monate
2003-05-09	ajout inverse relation bien fondee	mohring
2003-05-09	maj	filliatr
2003-05-08	bugfixes in Ground.	corbinea
2003-05-08	Petite correction d'affichage de modules	coq
2003-05-07	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	entréé translation2	herbelin
2003-05-05	Corrige Bug (PR#290)	coq
2003-04-30	maj	filliatr
2003-04-29	Prise en compte des syntaxes v8 dans Uninterpreted Notation	herbelin
2003-04-29	Prise en compte des syntaxes v8 dans Uninterpreted Notation	herbelin