coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	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-13
*	coqide: all can focus	monate	2003-05-12
*	CoqIde: AccelMap support	monate	2003-05-12
*	ajout inverse relation bien fondee	mohring	2003-05-09
*	maj	filliatr	2003-05-09
*	bugfixes in Ground.	corbinea	2003-05-08
*	Petite correction d'affichage de modules	coq	2003-05-08
*	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-07
*	Corrige Bug (PR#290)	coq	2003-05-05
*	maj	filliatr	2003-04-30
*	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-29
*	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-28
*	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-27
*	bugfix in Ground tactic	corbinea	2003-04-26
*	maj	filliatr	2003-04-26