coq - The formal proof system

Age	Commit message (Expand)	Author
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-08-14	Tried to make F1 documentation tool working in CoqIDE.	herbelin
2009-03-07	- per session coq command stack	vgross
2008-12-19	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin
2008-06-10	open and save buttons are the default	barras
2008-05-30	- Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"	herbelin
2008-05-29	backtrack sur utilisation de do_overwrite_confirmation	jnarboux
2008-05-29	commented out overwrite confirmation handler (requires lablgtk >=2.10)	barras
2008-05-28	add support for pdf in coqdoc, add export to pdf in coqide, port open and sav...	jnarboux
2008-05-10	Correction bug #1842 + correction bug initialisation introduit dans	herbelin
2008-05-10	Amélioration de la colorisation, du backtrack et des messages de CoqIDE	herbelin
2008-05-08	Efficacité, bugs, robustesse CoqIDE	herbelin
2007-12-06	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack
2007-01-31	redirection of errors in coqide + dynamic warning printer (needed for tm_egg)	corbinea
2006-10-23	fixed same_file (#1141)	barras
2006-06-07	Changement de l'option -where: on vérifie si la variable d'environnement COQ...	notin
2005-11-25	* empty log message *	barras
2005-11-25	* empty log message *	barras
2005-11-23	bug de coqide sous windows (bad file descriptor)	barras
2005-11-08	Nettoyage suite à la détection par défaut des variables inutilisées par o...	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-02-04	search window	coq
2004-01-29	pour ide sous windows	coq
2003-12-30	ameliorations coqide	coq
2003-09-19	Coqide : les nouveaute d'aout	monate
2003-07-10	coqide: warn when using locale or manual charset	monate
2003-07-07	Coqide : ported to lablgtk2 snapshot of 2003/07/07	monate
2003-06-13	coqide: indentation	monate
2003-05-22	coqide: blaster V1	monate
2003-05-20	CoqIde: externals	monate
2003-05-14	coqide: load/save file encoding support/	monate
2003-05-07	coqide: toolbar/autosave	monate
2003-04-28	fichier de pref coq IDE en ASCII (ENFIN)	filliatr
2003-04-24	* empty log message *	monate
2003-04-22	coqide : progressbar	monate
2003-03-26	coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc...	monate
2003-03-24	coqide: compact delete event-search start	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: Install.ide Revert bugfix.	monate
2003-03-04	coqide: partage -debug avec coqtop	monate
2003-03-04	IDE: maj	monate
2003-03-03	CoqIDE: copy/paste	monate
2003-03-03	IDE: debug=false	filliatr
2003-03-03	coqide: preferences support and optimizations	monate
2003-02-27	coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ...	monate
2003-02-26	coqide: preliminary support for mnemonics. Edit menu. Context help now works ...	monate
2003-02-24	coqide : aide sur selection ou sur mot	monate