coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Ajout option -v8 à coqtopnew pour permettre le changement de comportement de...	herbelin	2003-04-09
*	Globalisation des noms de tactiques dans les définitions de tactiques	herbelin	2003-04-07
*	BEST redondant	herbelin	2003-04-07
*	remplace == par = dans la tactique field pour que le debugger marche a nouvea...	narboux	2003-04-01
*	Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar)	herbelin	2003-03-29
*	coqmktop: -ide fait ce qu'il faut (on peut maintenant construire des Coq IDE ...	filliatr	2003-03-17
*	nettoyage dans translate	filliatr	2003-03-17
*	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-14
*	petites erreurs	barras	2003-03-12
*	* Ajout du traducteur nouvelle syntaxe *	barras	2003-03-12
*	coqide: fenetre de cmmandes . undo correct	monate	2003-03-06
*	coqide: le undo	monate	2003-03-06
*	IDE: menu templates	filliatr	2003-03-05
*	install de coq.png	marche	2003-03-04
*	fichiers sur la ligne de commande passes a Coq IDE	filliatr	2003-03-03
*	coqide: preferences support and optimizations	monate	2003-03-03
*	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-27
*	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-24
*	CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)	filliatr	2003-02-21
*	Debugger plus informatif	delahaye	2003-02-13
*	Ajout du traducteur	desmettr	2003-02-05
*	interface GTK2 experimentale	monate	2003-02-04
*	make check utilise toujours le Coq local	filliatr	2003-02-03