coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers.	Maxime Dénès	2015-01-12
*	Remove dead code	Enrico Tassi	2014-12-01
*	Install index_urls.txt in a location where coqide might actually find it.	Guillaume Melquiond	2014-10-24
*	Ide: Drop argument added by MacOS during .app launch	Pierre Boutillier	2014-07-22
*	Coqide use '(diraname MYSELF)/coqtop' as coqtop only if this file exists	Pierre Boutillier	2014-07-22
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	CoqIDE: removing a timer may raise an exception	Enrico Tassi	2014-04-10
*	Fix CoqIDE on windows	Enrico Tassi	2013-12-10
*	ideutils: support custom size for stock icons	gareuselesinge	2013-10-22
*	ideutils: stock_to_widget was ignoring the ~size argument	gareuselesinge	2013-09-30
*	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: limit read buffer size to 4096 (pipe size in win32)	letouzey	2013-01-23
*	Coqide: avoid potentially blocking read on coqtop channel	letouzey	2013-01-22
*	Coq_lex: direct accounting of utf8 extra bytes in offsets	letouzey	2012-12-11
*	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
*	Nicer code around Coq_lex	letouzey	2012-12-07
*	Ideutils: simpler conversion from byte offset to utf8 char offset	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
*	Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS	pboutill	2012-09-12
*	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
*	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