coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	V8Notation	herbelin	2003-05-22
*	Ajout V8Notation	herbelin	2003-05-22
*	Réparation d'un bug de backtracking qui lui-même succédait à une ineffica...	herbelin	2003-05-22
*	Test backtracking	herbelin	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-22
*	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-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