coq - The formal proof system

Age	Commit message (Expand)	Author
2003-05-22	Ajout V8Notation	herbelin
2003-05-22	Preservation affichage des ?n en V7	herbelin
2003-05-22	coqide: blaster V1	monate
2003-05-22	Ocaml 3.00 a existe'	herbelin
2003-05-22	compat windows	filliatr
2003-05-22	maj	filliatr
2003-05-21	Suppression définitive de lmatch et or_metanum dans tacinterp	herbelin
2003-05-21	Suppression définitive de lmatch et or_metanum dans tacinterp	herbelin
2003-05-21	Mise en conformite de la precedence du '-' unaire avec celle de Notations (su...	herbelin
2003-05-21	Mise en conformite de la precedence du '-' unaire avec celle de Notations	herbelin
2003-05-21	Mise en conformite de la precedence du '-' unaire avec celle de Notations	herbelin
2003-05-21	Concentration des notations officielles dans Init/Notations; restructuration ...	herbelin
2003-05-21	Nouveaux tests	herbelin
2003-05-21	MAJ	herbelin
2003-05-21	Notations	herbelin
2003-05-21	Bug	herbelin
2003-05-21	Fusion à l'essai de lmatch et lfun dans tacinterp; utilisation de noms pour ...	herbelin
2003-05-21	MAJ	herbelin
2003-05-21	Fusion à l'essai de lmatch et lfun dans tacinterp; utilisation de noms pour ...	herbelin
2003-05-21	Possibilité de syntaxe conjointement à la définition des inductifs et des ...	herbelin
2003-05-21	maj	filliatr
2003-05-20	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-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