coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Pour rendre make un peu moins verbeux	letouzey	2003-10-06
*	NEWCONTRIBVO doit apparaitre apres CONTRIBVO	herbelin	2003-10-06
*	Debranchement de la regle .v.vo pour que celle-ci ne soit pas prise quand new...	herbelin	2003-10-04
*	NEWVO doit apparaitre apres VO + divers	herbelin	2003-10-04
*	Bug cible newtheories/Init + divers	herbelin	2003-10-03
*	Nettoyage, simplification et compatibilite -j	herbelin	2003-10-03
*	oubli de deux flags -v7	letouzey	2003-10-03
*	pa_ifdef.cmo redondant	herbelin	2003-09-26
*	Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...	herbelin	2003-09-23
*	Passage à la V8 par défaut	herbelin	2003-09-22
*	Reprise de coqbinaries dans translation	herbelin	2003-09-15
*	Indirection pour coqlib8 pour que la cible newtheories/%.v soit choisie	herbelin	2003-09-13
*	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-12
*	install coqwc	filliatr	2003-09-05
*	coqwc	filliatr	2003-09-05
*	Fusion -translate et -ftranslate	herbelin	2003-08-14
*	Option -v8 à coqtop lance coqtopnew	herbelin	2003-08-11
*	suppression de newtauto	corbinea	2003-07-02
*	suppression de FSets (redevient une contrib)	filliatr	2003-06-24
*	Ground major update ... mmm, sounds exciting !	corbinea	2003-06-15
*	dependcoq integre les fichiers de fsets	letouzey	2003-06-14
*	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-13
*	Module Bij inutilise	herbelin	2003-06-10
*	au lieu de make	monate	2003-06-02
*	moved engine.ml4 to ground.ml4, added option 'Ground Depth'	corbinea	2003-05-26
*	coqide: blaster 2	monate	2003-05-23
*	fabrication de ide/utf8.vo	letouzey	2003-05-23
*	coqide: blaster V1	monate	2003-05-22
*	Concentration des notations officielles dans Init/Notations; restructuration ...	herbelin	2003-05-21
*	Restructutation Hipattern Pattern	herbelin	2003-05-19
*	configure et make install s'occupent de CoqIde tout seuls	filliatr	2003-05-19
*	coqide: .* on start/add \n on eof	monate	2003-05-14
*	coqide: load/save file encoding support/	monate	2003-05-14
*	Nouveaux lemmes (sur proposition de Nijmegen)	herbelin	2003-05-13
*	entréé translation2	herbelin	2003-05-07
*	Ajout ChoiceFacts	herbelin	2003-04-29
*	coqide: search forward	monate	2003-04-28
*	fichier de pref coq IDE en ASCII (ENFIN)	filliatr	2003-04-28
*	Added the Ground tactic.	corbinea	2003-04-25
*	Ajout "at next level" dans Notation	herbelin	2003-04-17
*	BIG MAJ Extraction:	letouzey	2003-04-16
*	coqide: thread bug fix	monate	2003-04-10
*	Coqide : introduction des coprocessus. CoqIde est maintenant interruptible	monate	2003-04-09