coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Relying on computation done in Envars to discover the installation directories.	Hugo Herbelin	2017-05-29
*	Remove some unused values and types	Gaetan Gilbert	2017-04-27
*	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
*	[pp] [ide] Minor cleanups in pp code.	Emilio Jesus Gallego Arias	2017-03-21
*	[ide] richpp clenaup	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
*	[safe-string] ide	Emilio Jesus Gallego Arias	2017-03-14
*	Fix bug #5051: Large outputs are garbled.	Pierre-Marie Pédrot	2016-08-30
*	Fix inefficiency in CoqIDE display of tagged text.	Pierre-Marie Pédrot	2016-08-29
*	Adding a flag in CoqIDE to configure UNIX/Windows line ending.	Pierre-Marie Pédrot	2016-07-26
*	[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