coq - The formal proof system

Age	Commit message (Expand)	Author
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
2003-04-29	coqide: search forw+back	monate
2003-04-29	Mise en place d'un 2ème traducteur à l'essai (activable avec -ftranslate2)	herbelin
2003-04-29	Blancs	herbelin
2003-04-29	Notations	herbelin
2003-04-29	Implicit Types	herbelin
2003-04-29	Ajout ChoiceFacts	herbelin
2003-04-29	Blancs	herbelin
2003-04-29	Factorisation des produits de même type; parenthèses autour des x:=c et n:=...	herbelin
2003-04-29	Factorisation des produits de même type; parenthèses autour des x:=c et n:=...	herbelin
2003-04-29	Moins de ' ' à l'affichage	herbelin
2003-04-29	En v8: abandon de Rle_sym2, Rle_sym1 au profit de Rge_le, Rle_ge; abandon de ...	herbelin
2003-04-29	Bug fermeture de stdout	herbelin
2003-04-29	Ajout is_ident_tail	herbelin
2003-04-28	coqide: search forward	monate
2003-04-28	Localisation erreurs TacAlias; Globalisation moins tolérante dans les	herbelin
2003-04-28	bug concernant les projecteurs de Record avec args logiques	letouzey
2003-04-28	ajout d'une elimination simplifiée Acc_iter pour Acc	letouzey
2003-04-28	adaptation a Acc_iter	letouzey
2003-04-28	Un principe light d'elimination de Acc, suivant les remarques de Yves Bertot	letouzey
2003-04-28	fichier de pref coq IDE en ASCII (ENFIN)	filliatr
2003-04-28	maj	filliatr
2003-04-27	Ce que Try récupère	herbelin
2003-04-27	Affichage des Fix contenant des Let dans leur context (ce que la tactique Fix...	herbelin
2003-04-27	Reparation affichage LetTac	herbelin
2003-04-26	bugfix in Ground tactic	corbinea
2003-04-26	maj	filliatr
2003-04-25	Added the Ground tactic.	corbinea
2003-04-25	utf8.v	monate
2003-04-25	new utf8.v	monate
2003-04-25	extension des caracteres UTF 8 autorises dans les symboles	filliatr
2003-04-24	* empty log message *	monate
2003-04-24	coqide : line number mode	monate
2003-04-24	* empty log message *	monate
2003-04-22	Coqide : bug undo	monate
2003-04-22	coqide : progressbar	monate
2003-04-18	maj	filliatr