coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	highlighting de Extraction	letouzey	2003-09-05
*	option pour supprimer les menus contextuels sur les buts	marche	2003-09-03
*	auto completion disabled par defaut	marche	2003-09-02
*	coqide: new search and AutoCompletion	monate	2003-07-18
*	coqide: fixed problems with -R -I and coqide interaction	monate	2003-07-16
*	coqide: warn when using locale or manual charset	monate	2003-07-10
*	Coqide : focus bug in goal window	monate	2003-07-07
*	Coqide : ported to lablgtk2 snapshot of 2003/07/07	monate	2003-07-07
*	coqide : status bar more informative, forbid Section/Module in proo mode	monate	2003-06-25
*	undo de "Time tactic"	filliatr	2003-06-19
*	typo	filliatr	2003-06-19
*	* empty log message *	monate	2003-06-18
*	CoqIDE: undo plus efficace sur les inductifs	filliatr	2003-06-13
*	coqide: indentation	monate	2003-06-13
*	coqide: about now displays versions/Fix for alt-enter	monate	2003-06-13
*	CoqIDE: undo immediat sur les commandes ne modifiant pas l'etat	filliatr	2003-06-13
*	coqide: compile sans activate repare	monate	2003-06-06
*	bug CoqIDE avec Goal	filliatr	2003-06-06
*	au lieu de make	monate	2003-06-02
*	coqide: blaster interruptible	monate	2003-05-26
*	configure pour CoqIde repare	monate	2003-05-26
*	coqide: blaster 2	monate	2003-05-23
*	coqide: blaster 2	monate	2003-05-23
*	coqide: blaster V1	monate	2003-05-22
*	CoqIde: externals	monate	2003-05-20
*	command_windows fix	monate	2003-05-20
*	* empty log message *	monate	2003-05-19
*	CoqIde : but reset_mod	filliatr	2003-05-19
*	table des modules charges (Library.compunit_cache) synchronizee (pour CoqIde ...	filliatr	2003-05-15
*	class CoqIde donnée à l'application, pour une meilleure intégration	filliatr	2003-05-15
*	coqide: .* on start/add \n on eof	monate	2003-05-14
*	coqide: load/save file encoding support/	monate	2003-05-14
*	coqide: all can focus	monate	2003-05-12
*	CoqIde: AccelMap support	monate	2003-05-12
*	coqide: missing files	monate	2003-05-07
*	coqide: GtkData dep	monate	2003-05-07
*	coqide: toolbar/autosave	monate	2003-05-07
*	coqide: search forw+back	monate	2003-04-29
*	coqide: search forward	monate	2003-04-28
*	fichier de pref coq IDE en ASCII (ENFIN)	filliatr	2003-04-28
*	utf8.v	monate	2003-04-25
*	new utf8.v	monate	2003-04-25
*	* empty log message *	monate	2003-04-24
*	coqide : line number mode	monate	2003-04-24
*	* empty log message *	monate	2003-04-24
*	Coqide : bug undo	monate	2003-04-22
*	coqide : progressbar	monate	2003-04-22
*	oubli	letouzey	2003-04-16
*	coqide: undo fix	monate	2003-04-10
*	* empty log message *	monate	2003-04-10