coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Now CoqIDE separates answer and messages. This should hopefully	ppedrot	2012-06-29
*	Now CoqIDE auto-sets the printing width of the goal display.	ppedrot	2012-06-26
*	Cleaned prerr_endline use.	ppedrot	2012-05-23
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
*	Revert commit 15287 : the env variables are indeed access at launch-time	letouzey	2012-05-16
*	Coqide: in win32 command given to cmd.exe should be more quoted	letouzey	2012-05-15
*	Fixed access to environment variables in CoqIDE. Up to now, those	ppedrot	2012-05-08
*	Removed the useless use of a reference in preference handling.	ppedrot	2012-05-02
*	Coqide: the coqtop to launch is a preference.	pboutill	2012-04-17
*	Coqide input encoding preference is an algebraic type.	pboutill	2012-04-14
*	Browser documentation & CharSet under Windows	pboutill	2012-04-13
*	CoqIde files position is freedesktop compliant.	pboutill	2011-12-18
*	Coqide -debug only printed Coqtop information.	pboutill	2011-11-18
*	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-09-01
*	Attempt to use more local doc in coqide	pboutill	2011-04-28
*	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-04-21
*	Ide: more reorganisation and cleanup	letouzey	2011-03-25
*	Fix function applications without labels (OCaml warning 6)	glondu	2010-09-28
*	Fix unescaped end-of-lines (OCaml warning 29)	glondu	2010-09-13
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	deporting Coq specific code from ide to toplevel.	vgross	2010-05-31
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	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
*	- per session coq command stack	vgross	2009-03-07
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19
*	open and save buttons are the default	barras	2008-06-10
*	- Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"	herbelin	2008-05-30
*	backtrack sur utilisation de do_overwrite_confirmation	jnarboux	2008-05-29
*	commented out overwrite confirmation handler (requires lablgtk >=2.10)	barras	2008-05-29
*	add support for pdf in coqdoc, add export to pdf in coqide, port open and sav...	jnarboux	2008-05-28
*	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-10
*	Efficacité, bugs, robustesse CoqIDE	herbelin	2008-05-08
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	redirection of errors in coqide + dynamic warning printer (needed for tm_egg)	corbinea	2007-01-31
*	fixed same_file (#1141)	barras	2006-10-23
*	Changement de l'option -where: on vérifie si la variable d'environnement COQ...	notin	2006-06-07
*	* empty log message *	barras	2005-11-25
*	* empty log message *	barras	2005-11-25
*	bug de coqide sous windows (bad file descriptor)	barras	2005-11-23
*	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin	2005-11-08
*	Déplacement de fonctionnalités unix et browser de ide vers lib	herbelin	2005-05-19
*	Nouvelle en-tête	herbelin	2004-07-16
*	search window	coq	2004-02-04
*	pour ide sous windows	coq	2004-01-29