coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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