coq - The formal proof system

Age	Commit message (Expand)	Author
2008-06-06	- On adopte finalement la méthode de Pierre Courtieu pour le undo de	herbelin
2008-05-28	add option to change modifiers of display menu	jnarboux
2008-05-10	Amélioration de la colorisation, du backtrack et des messages de CoqIDE	herbelin
2008-05-08	Efficacité, bugs, robustesse CoqIDE	herbelin
2008-03-23	CoqIDE default font set to monospace so as indentation to be meaningful	herbelin
2008-03-04	Branchement de l'auto-save de coqide par défaut	herbelin
2007-12-06	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack
2007-04-16	Add the possibility to change the position of tabs in main window (from r9717).	glondu
2006-11-07	Changement des modifeurs par défaut dans CoqIDE (problème de compatibilité...	notin
2006-10-13	Ajout des options Coqide suggérées par Damien Doligez (wish #1053)	notin
2006-06-08	Correction du bug #728(1086) (ordre de sauvegarde des tactiques dans coqide)	notin
2005-05-20	Achèvement du déplacement de fonctionnalités unix et browser de ide vers lib	herbelin
2005-05-19	Déplacement de fonctionnalités unix et browser de ide vers lib	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-05-03	but autoamtics tactics saving	marche
2004-03-03	ide: silent behavior better, save icon, -byte works	marche
2004-02-04	search window	coq
2004-01-20	coqide utf8	marche
2003-12-30	ameliorations coqide	coq
2003-12-08	preferences	marche
2003-12-08	bug de preferencs/font"	marche
2003-12-04	changement menu et toolbar	marche
2003-11-28	commands renomme en queries, command goto a la place de forward to backwardt o	marche
2003-09-19	Coqide : les nouveaute d'aout	monate
2003-09-03	option pour supprimer les menus contextuels sur les buts	marche
2003-07-07	Coqide : ported to lablgtk2 snapshot of 2003/07/07	monate
2003-05-14	coqide: load/save file encoding support/	monate
2003-05-12	CoqIde: AccelMap support	monate
2003-05-07	coqide: toolbar/autosave	monate
2003-04-28	coqide: search forward	monate
2003-04-28	fichier de pref coq IDE en ASCII (ENFIN)	filliatr
2003-03-14	coqide: maj preferences du wizzard	monate
2003-03-12	coqide: .coqidepref en bin. Preferences en plus	monate
2003-03-07	coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...	monate
2003-03-06	coqide: fenetre de cmmandes . undo correct	monate
2003-03-05	coqide: ouvrir une seule fois un fichier	monate
2003-03-03	CoqIDE: copy/paste	monate
2003-03-03	coqide: preferences support and optimizations	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	* empty log message *	monate