coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[feedback] Remove unused tag on `Debug` level.	Emilio Jesus Gallego Arias	2016-06-25
*	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
* \|	Remove some useless type declarations.	Guillaume Melquiond	2016-01-02
* \|	Avoid warnings about loop indices.	Guillaume Melquiond	2016-01-02
* \|	Rich printing of messages.	Pierre-Marie Pédrot	2015-09-20
* \|	Adding rich printing primitives.	Pierre-Marie Pédrot	2015-09-20
* \|	Pluging in tag preferences into buffer printing.	Pierre-Marie Pédrot	2015-09-20
* \|	Replacing old-style preferences in CoqIDE.	Pierre-Marie Pédrot	2015-08-26
* \|	Turning CoqIDE preferences into new style.	Pierre-Marie Pédrot	2015-08-16
\|/
*	Use open_utf8_file_in for opening files in the IDE. (Fix bug #2874)	Guillaume Melquiond	2015-07-28
*	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
*	CoqIDE now remembers the path of the last opened project.	Pierre-Marie Pédrot	2015-02-15
*	Hardcode how coqide have to look for coqtop in MacOS bundle	Pierre Boutillier	2015-02-13
*	Fixing bug #3996.	Pierre-Marie Pédrot	2015-02-04
*	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