coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	* empty log message *	monate	2003-04-10
*	coqide: bug highlight corrige	monate	2003-04-10
*	coqide: completion support	monate	2003-04-10
*	set_focus	marche	2003-04-10
*	coqide: thread bug fix	monate	2003-04-10
*	Coqide : introduction des coprocessus. CoqIde est maintenant interruptible	monate	2003-04-09
*	coqide: command window maj.	monate	2003-03-28
*	coqide: bug undo corrige	monate	2003-03-28
*	coqide: bugfix du C-C pendant Undo+paren_highlight	monate	2003-03-27
*	coqide: efficacite des buts etc...	monate	2003-03-27
*	coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc...	monate	2003-03-26
*	coqide: addloadpath corrige	monate	2003-03-26
*	coqide: compact delete event-search start	monate	2003-03-24
*	pour faire marcher le control-k	letouzey	2003-03-24
*	petit oubli	letouzey	2003-03-15
*	coqide: maj preferences du wizzard	monate	2003-03-14
*	coqide: utf8.v	monate	2003-03-14
*	notations coqide	monate	2003-03-14
*	* empty log message *	monate	2003-03-14
*	coqide: maj commandes	monate	2003-03-14
*	coqide: .coqidepref en bin. Preferences en plus	monate	2003-03-12
*	coqide: maj des bindings	monate	2003-03-10
*	coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...	monate	2003-03-07
*	coqide: fenetre de cmmandes . undo correct	monate	2003-03-06