coq - The formal proof system

Age	Commit message (Expand)	Author
2003-08-11	Outils de traduction	herbelin
2003-08-10	Ajout option_fold_right	herbelin
2003-08-10	Affichage {}+{}, niveau paire au plus haut	herbelin
2003-08-10	Un peu d'aide pour le traducteur	herbelin
2003-08-06	Ajout de l'opti des fermeture (mais debranche pour l'instant)	barras
2003-08-05	Improved reduction machine with closure: should use less memory	barras
2003-07-24	Bug globalisation Grammar (suite)	herbelin
2003-07-24	maj	filliatr
2003-07-23	Bug globalisation	herbelin
2003-07-18	coqide: new search and AutoCompletion	monate
2003-07-18	Coq.Init.Logic.eq au lieu de eq	filliatr
2003-07-17	maj	filliatr
2003-07-16	coqide: fixed problems with -R -I and coqide interaction	monate
2003-07-12	maj	filliatr
2003-07-11	Ground bugfix	corbinea
2003-07-10	bug typage du cases/identity: optim off si inductif avec vars	letouzey
2003-07-10	renommage des modules 1er niveau en monolithique	letouzey
2003-07-10	coqide: warn when using locale or manual charset	monate
2003-07-09	MAJ adresse ftp	herbelin
2003-07-09	maj	filliatr
2003-07-08	Petite erreur dans le script d'install.	corbinea
2003-07-08	Ground update	corbinea
2003-07-08	bug match match	letouzey
2003-07-08	recursion bien fondee sur des pairs	filliatr
2003-07-07	Coqide : focus bug in goal window	monate
2003-07-07	Coqide : ported to lablgtk2 snapshot of 2003/07/07	monate
2003-07-04	Ground bugfix	corbinea
2003-07-03	switching back to old tauto	corbinea
2003-07-03	modification ground	corbinea
2003-07-03	addition of Auto hints in Ground	corbinea
2003-07-03	maj	filliatr
2003-07-02	added hints into Ground	corbinea
2003-07-02	suppression de newtauto	corbinea
2003-07-02	rm -f .depend (sans le -f "make depend" echoue lorsque le .depend	filliatr
2003-06-30	Comparaison de Cases module mind_equiv	coq
2003-06-28	maj	filliatr
2003-06-27	* empty log message *	courant
2003-06-25	coqide : status bar more informative, forbid Section/Module in proo mode	monate
2003-06-25	maj	filliatr
2003-06-25	Une completion de l'interpretation des TacAlias pour la partie interpretable	herbelin
2003-06-24	suppression de FSets (redevient une contrib)	filliatr
2003-06-24	doc	filliatr
2003-06-24	concat; debut split	filliatr
2003-06-23	Ajout systématique de Proof dans la traduction	herbelin
2003-06-23	Formattage Apply with	herbelin
2003-06-23	Formattage pattern 'match'	herbelin
2003-06-23	join	filliatr
2003-06-23	add_tree : sur type tree plutot que sur type t	filliatr
2003-06-23	merge_bis et debug join	filliatr
2003-06-22	Ground update	corbinea