coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[ide] richpp clenaup	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
*	Fix bug #5051: Large outputs are garbled.	Pierre-Marie Pédrot	2016-08-30
*	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Rich printing of messages.	Pierre-Marie Pédrot	2015-09-20
* \|	Adding rich printing primitives.	Pierre-Marie Pédrot	2015-09-20
\|/
*	Use the directory of the current session for selecting files to open.	Guillaume Melquiond	2015-04-03
*	Fix some typos in comments.	Guillaume Melquiond	2015-02-23
*	Update headers.	Maxime Dénès	2015-01-12
*	Remove dead code	Enrico Tassi	2014-12-01
*	Ide: Drop argument added by MacOS during .app launch	Pierre Boutillier	2014-07-22
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	Fix CoqIDE on windows	Enrico Tassi	2013-12-10
*	ideutils: support custom size for stock icons	gareuselesinge	2013-10-22
*	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