coq - The formal proof system

Age	Commit message (Expand)	Author
2011-12-18	CoqIde files position is freedesktop compliant.	pboutill
2011-11-18	Coqide -debug only printed Coqtop information.	pboutill
2011-09-01	Coq_makefile : bug when a project file is not in the current directory.	pboutill
2011-09-01	safe_prerr_endline in Minilib	pboutill
2011-09-01	Add option -f to coqide	pboutill
2011-09-01	same_file in Minilib	pboutill
2011-04-28	Attempt to use more local doc in coqide	pboutill
2011-04-21	Coqide: try to avoid displaying error messages on coqide's console	letouzey
2011-04-21	Win32: if we make coqide console-free, then stderr/stdout/sdtin shouldn't be ...	letouzey
2011-03-25	Ide: more reorganisation and cleanup	letouzey
2010-09-28	Fix function applications without labels (OCaml warning 6)	glondu
2010-09-13	Fix unescaped end-of-lines (OCaml warning 29)	glondu
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-05-31	deporting Coq specific code from ide to toplevel.	vgross
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
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