coq - The formal proof system

Age	Commit message (Expand)	Author
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
2003-06-21	Added a test for Functional Induction.	courtieu
2003-06-21	maj	filliatr
2003-06-20	Ground update	corbinea
2003-06-20	Bug compilation	herbelin
2003-06-20	remov	filliatr
2003-06-20	merge	filliatr
2003-06-20	remove_min, remove_max	filliatr
2003-06-20	Ground Update.	corbinea
2003-06-20	maj	filliatr
2003-06-19	Ajout 'Symmetry in Hyp'	herbelin
2003-06-19	Ajout 'Symmetry in Hyp'	herbelin
2003-06-19	Ajout 'Symmetry in Hyp'; chgt syntaxe 'change ... with ...'	herbelin
2003-06-19	add	filliatr