coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	coqide: le undo	monate	2003-03-06
*	coqide: ouvrir une seule fois un fichier	monate	2003-03-05
*	IDE: menu templates	filliatr	2003-03-05
*	CoqIde: Install.ide Revert bugfix.	monate	2003-03-05
*	coqide: bugfix	monate	2003-03-04
*	belle image de coq (en png en plus)	marche	2003-03-04
*	coqide: partage -debug avec coqtop	monate	2003-03-04
*	IDE: maj	monate	2003-03-04
*	CoqIDE: copy/paste	monate	2003-03-03
*	fichiers sur la ligne de commande passes a Coq IDE	filliatr	2003-03-03
*	IDE:coloration	filliatr	2003-03-03
*	IDE: debug=false	filliatr	2003-03-03
*	coqide: preferences support and optimizations	monate	2003-03-03
*	coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ...	monate	2003-02-27
*	coqide: preliminary support for mnemonics. Edit menu. Context help now works ...	monate	2003-02-26
*	ide:copy/paste fix	monate	2003-02-25
*	coqide : aide sur selection ou sur mot	monate	2003-02-24
*	aide contextuelle / menus compilation + print + export	filliatr	2003-02-24
*	ide changes	monate	2003-02-24
*	ctrl-k like Emacs in coqide	monate	2003-02-24
*	ide	monate	2003-02-24
*	* empty log message *	monate	2003-02-24
*	CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)	filliatr	2003-02-21
*	Undo dans Coq IDE	filliatr	2003-02-11
*	interface GTK2 experimentale	monate	2003-02-04