coq - The formal proof system

Age	Commit message (Expand)	Author
2003-09-15	Reprise de coqbinaries dans translation	herbelin
2003-09-13	Indirection pour coqlib8 pour que la cible newtheories/%.v soit choisie	herbelin
2003-09-12	Retour à des cibles plus explicites: world7 et world8, install7 et install8	herbelin
2003-09-12	Ajout install7 et coqwc dans tools	herbelin
2003-09-12	Ajout cible world7	herbelin
2003-09-12	Un seul binaire commun v7 et v8 avec détection précoce de l'option -v8 et c...	herbelin
2003-09-12	Déplacement de Declare et Impargs à la fin de interp pour que Declare accè...	herbelin
2003-09-05	install coqwc	filliatr
2003-09-05	coqwc	filliatr
2003-08-14	Fusion -translate et -ftranslate	herbelin
2003-08-11	Option -v8 à coqtop lance coqtopnew	herbelin
2003-07-02	suppression de newtauto	corbinea
2003-06-24	suppression de FSets (redevient une contrib)	filliatr
2003-06-15	Ground major update ... mmm, sounds exciting !	corbinea
2003-06-14	dependcoq integre les fichiers de fsets	letouzey
2003-06-13	Ground update	corbinea
2003-06-13	Ground update, new files.	corbinea
2003-06-13	install-fsets	filliatr
2003-06-13	FSets, mais pas compile' par make world	filliatr
2003-06-10	Module Bij inutilise	herbelin
2003-06-02	au lieu de make	monate
2003-05-26	moved engine.ml4 to ground.ml4, added option 'Ground Depth'	corbinea
2003-05-23	coqide: blaster 2	monate
2003-05-23	fabrication de ide/utf8.vo	letouzey
2003-05-22	coqide: blaster V1	monate
2003-05-21	Concentration des notations officielles dans Init/Notations; restructuration ...	herbelin
2003-05-19	Restructutation Hipattern Pattern	herbelin
2003-05-19	configure et make install s'occupent de CoqIde tout seuls	filliatr
2003-05-14	coqide: .* on start/add \n on eof	monate
2003-05-14	coqide: load/save file encoding support/	monate
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