coq - The formal proof system

Age	Commit message (Expand)	Author
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
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