coq - The formal proof system

Age	Commit message (Expand)	Author
2003-07-07	Coqide : ported to lablgtk2 snapshot of 2003/07/07	monate
2003-06-25	coqide : status bar more informative, forbid Section/Module in proo mode	monate
2003-06-19	undo de "Time tactic"	filliatr
2003-06-19	typo	filliatr
2003-06-18	* empty log message *	monate
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-06	coqide: compile sans activate repare	monate
2003-06-06	bug CoqIDE avec Goal	filliatr
2003-06-02	au lieu de make	monate
2003-05-26	coqide: blaster interruptible	monate
2003-05-26	configure pour CoqIde repare	monate
2003-05-23	coqide: blaster 2	monate
2003-05-23	coqide: blaster 2	monate
2003-05-22	coqide: blaster V1	monate
2003-05-20	CoqIde: externals	monate
2003-05-20	command_windows fix	monate
2003-05-19	CoqIde : but reset_mod	filliatr
2003-05-15	class CoqIde donnée à l'application, pour une meilleure intégration	filliatr
2003-05-14	coqide: .* on start/add \n on eof	monate
2003-05-14	coqide: load/save file encoding support/	monate
2003-05-12	coqide: all can focus	monate
2003-05-12	CoqIde: AccelMap support	monate
2003-05-07	coqide: GtkData dep	monate
2003-05-07	coqide: toolbar/autosave	monate
2003-04-29	coqide: search forw+back	monate
2003-04-28	coqide: search forward	monate
2003-04-24	* empty log message *	monate
2003-04-24	coqide : line number mode	monate
2003-04-24	* empty log message *	monate
2003-04-22	coqide : progressbar	monate
2003-04-10	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	coqide: thread bug fix	monate
2003-04-09	Coqide : introduction des coprocessus. CoqIde est maintenant interruptible	monate
2003-03-28	coqide: command window maj.	monate
2003-03-28	coqide: bug undo corrige	monate
2003-03-27	coqide: bugfix du C-C pendant Undo+paren_highlight	monate
2003-03-27	coqide: efficacite des buts etc...	monate
2003-03-26	coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc...	monate
2003-03-26	coqide: addloadpath corrige	monate
2003-03-24	coqide: compact delete event-search start	monate
2003-03-14	* empty log message *	monate
2003-03-14	coqide: maj commandes	monate
2003-03-12	coqide: .coqidepref en bin. Preferences en plus	monate
2003-03-10	coqide: maj des bindings	monate