coq - The formal proof system

Age	Commit message (Expand)	Author
2003-05-13	Nouveaux lemmes (sur proposition de Nijmegen)	herbelin
2003-05-07	entréé translation2	herbelin
2003-04-29	Ajout ChoiceFacts	herbelin
2003-04-28	coqide: search forward	monate
2003-04-28	fichier de pref coq IDE en ASCII (ENFIN)	filliatr
2003-04-25	Added the Ground tactic.	corbinea
2003-04-17	Ajout "at next level" dans Notation	herbelin
2003-04-16	BIG MAJ Extraction:	letouzey
2003-04-10	coqide: thread bug fix	monate
2003-04-09	Coqide : introduction des coprocessus. CoqIde est maintenant interruptible	monate
2003-04-09	Ajout option -v8 à coqtopnew pour permettre le changement de comportement de...	herbelin
2003-04-07	Globalisation des noms de tactiques dans les définitions de tactiques	herbelin
2003-04-07	BEST redondant	herbelin
2003-04-01	remplace == par = dans la tactique field pour que le debugger marche a nouvea...	narboux
2003-03-29	Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar)	herbelin
2003-03-17	coqmktop: -ide fait ce qu'il faut (on peut maintenant construire des Coq IDE ...	filliatr
2003-03-17	nettoyage dans translate	filliatr
2003-03-14	coqide: maj preferences du wizzard	monate
2003-03-14	nettoyage dans ide/utils	filliatr
2003-03-14	* empty log message *	barras
2003-03-14	reparations suite a la nouvelle syntaxe:	barras
2003-03-12	petites erreurs	barras
2003-03-12	* Ajout du traducteur nouvelle syntaxe *	barras
2003-03-06	coqide: fenetre de cmmandes . undo correct	monate
2003-03-06	coqide: le undo	monate
2003-03-05	IDE: menu templates	filliatr
2003-03-04	install de coq.png	marche
2003-03-03	fichiers sur la ligne de commande passes a Coq IDE	filliatr
2003-03-03	coqide: preferences support and optimizations	monate
2003-02-27	1.342 par rapport a 1.340 contourne un bug '-pp camlp4o' (version 1.341 corro...	herbelin
2003-02-27	Contournement bug '-pp camlp4o'	herbelin
2003-02-27	The contribution of Pierre Courtieu on generating specialized induction schemes	bertot
2003-02-24	Bringing Linear back to life (Still somewhat buggy).	corbinea
2003-02-24	aide contextuelle / menus compilation + print + export	filliatr
2003-02-24	ide changes	monate
2003-02-21	CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)	filliatr
2003-02-13	Debugger plus informatif	delahaye
2003-02-05	Ajout du traducteur	desmettr
2003-02-04	interface GTK2 experimentale	monate
2003-02-03	make check utilise toujours le Coq local	filliatr
2003-01-30	Adds a possibility to construct a term as if it had been parsed through	bertot
2003-01-30	Make sure the parser is compiled in native mode.	bertot
2003-01-30	Ajoute les directives pour créer aussi bin/coq-interface.opt	bertot
2003-01-30	pas de Xml.vo	filliatr
2003-01-24	on cree toujours le sous-repertoire tactics/	filliatr
2003-01-23	Ajout de LinearIntuition; Ajout de New(Tauto\|Intuition\|LinearIntuition).	corbinea
2003-01-22	removes all references to ctast.ml the Makefile has been updated accordingly.	bertot
2003-01-22	MAJ pour renommage Rcomplet	desmettr
2003-01-21	Binome.v -> Binomial.v	desmettr
2003-01-16	renommage de TAF.v en MVT.v	desmettr