coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Reverted r13715 "Add improved indenters that rely on the current proof state ...	gmelquio	2011-01-06
*	Add improved indenters that rely on the current proof state to choose the ind...	gmelquio	2010-12-14
*	Addressing part 2 of bug report 2377 (removing intrusive warning when	herbelin	2010-09-19
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Change the customization of modifiers (bug #2210)	vgross	2010-02-15
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Tried to make F1 documentation tool working in CoqIDE.	herbelin	2009-08-14
*	Change in UI behaviour : proof folding is now done by double clicking. Delay is	vgross	2009-06-08
*	Report de la révision #12104 (Maj lien site web de Coq)	notin	2009-04-24
*	Show configure choice for browser in CoqIDE preferences	glondu	2008-07-28
*	- On adopte finalement la méthode de Pierre Courtieu pour le undo de	herbelin	2008-06-06
*	add option to change modifiers of display menu	jnarboux	2008-05-28
*	Amélioration de la colorisation, du backtrack et des messages de CoqIDE	herbelin	2008-05-10
*	Efficacité, bugs, robustesse CoqIDE	herbelin	2008-05-08
*	CoqIDE default font set to monospace so as indentation to be meaningful	herbelin	2008-03-23
*	Branchement de l'auto-save de coqide par défaut	herbelin	2008-03-04
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	Add the possibility to change the position of tabs in main window (from r9717).	glondu	2007-04-16
*	Changement des modifeurs par défaut dans CoqIDE (problème de compatibilité...	notin	2006-11-07
*	Ajout des options Coqide suggérées par Damien Doligez (wish #1053)	notin	2006-10-13
*	Correction du bug #728(1086) (ordre de sauvegarde des tactiques dans coqide)	notin	2006-06-08
*	Achèvement du déplacement de fonctionnalités unix et browser de ide vers lib	herbelin	2005-05-20
*	Déplacement de fonctionnalités unix et browser de ide vers lib	herbelin	2005-05-19
*	Nouvelle en-tête	herbelin	2004-07-16
*	but autoamtics tactics saving	marche	2004-05-03
*	ide: silent behavior better, save icon, -byte works	marche	2004-03-03
*	search window	coq	2004-02-04
*	coqide utf8	marche	2004-01-20
*	ameliorations coqide	coq	2003-12-30
*	preferences	marche	2003-12-08
*	bug de preferencs/font"	marche	2003-12-08
*	changement menu et toolbar	marche	2003-12-04
*	commands renomme en queries, command goto a la place de forward to backwardt o	marche	2003-11-28
*	Coqide : les nouveaute d'aout	monate	2003-09-19
*	option pour supprimer les menus contextuels sur les buts	marche	2003-09-03
*	Coqide : ported to lablgtk2 snapshot of 2003/07/07	monate	2003-07-07
*	coqide: load/save file encoding support/	monate	2003-05-14
*	CoqIde: AccelMap support	monate	2003-05-12
*	coqide: toolbar/autosave	monate	2003-05-07
*	coqide: search forward	monate	2003-04-28
*	fichier de pref coq IDE en ASCII (ENFIN)	filliatr	2003-04-28
*	coqide: maj preferences du wizzard	monate	2003-03-14
*	coqide: .coqidepref en bin. Preferences en plus	monate	2003-03-12
*	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: ouvrir une seule fois un fichier	monate	2003-03-05
*	CoqIDE: copy/paste	monate	2003-03-03
*	coqide: preferences support and optimizations	monate	2003-03-03
*	aide contextuelle / menus compilation + print + export	filliatr	2003-02-24