coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Granting wish #1781:	ppedrot	2013-07-30
*	Ideutils: comment on missing Glib utf8 handling function	gareuselesinge	2013-05-06
*	lablgtk2 misses Glib.Utf8.pos_to_offset, workaround in ideutils	gareuselesinge	2013-04-25
*	Coqide: avoid potentially blocking read on coqtop channel	letouzey	2013-01-22
*	Coqide: some more refactoring to lighten coqide.ml	letouzey	2012-12-10
*	Coqide: get rid of threads, use gtk asynchronous i/o instead	letouzey	2012-12-08
*	Coqide: more cleanup (buffers)	letouzey	2012-12-07
*	Coqide: opening non-existing files won't create them immediately anymore	letouzey	2012-12-07
*	Coqide: nicer creation of timers	letouzey	2012-12-07
*	Coqide: code cleanup	letouzey	2012-12-07
*	Updating headers.	herbelin	2012-08-08
*	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
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
*	Coqide: in win32 command given to cmd.exe should be more quoted	letouzey	2012-05-15
*	Coqide: the coqtop to launch is a preference.	pboutill	2012-04-17
*	CoqIde files position is freedesktop compliant.	pboutill	2011-12-18
*	safe_prerr_endline in Minilib	pboutill	2011-09-01
*	same_file in Minilib	pboutill	2011-09-01
*	Win32: if we make coqide console-free, then stderr/stdout/sdtin shouldn't be ...	letouzey	2011-04-21
*	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
*	Tried to make F1 documentation tool working in CoqIDE.	herbelin	2009-08-14
*	- per session coq command stack	vgross	2009-03-07
*	add support for pdf in coqdoc, add export to pdf in coqide, port open and sav...	jnarboux	2008-05-28
*	Amélioration de la colorisation, du backtrack et des messages de CoqIDE	herbelin	2008-05-10
*	* empty log message *	barras	2005-11-25
*	bug de coqide sous windows (bad file descriptor)	barras	2005-11-23
*	Achèvement du déplacement de fonctionnalités unix et browser de ide vers lib	herbelin	2005-05-20
*	Compatibilité ocamlweb pour cible doc	herbelin	2005-01-21
*	Nouvelle en-tête	herbelin	2004-07-16
*	ameliorations coqide	coq	2003-12-30
*	Coqide : les nouveaute d'aout	monate	2003-09-19
*	coqide: warn when using locale or manual charset	monate	2003-07-10
*	coqide: indentation	monate	2003-06-13
*	CoqIde: externals	monate	2003-05-20
*	coqide: missing files	monate	2003-05-07