coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-09
\|\
\| *	Use the actual location of an error in the error pane (bug #4169).	Guillaume Melquiond	2016-05-09
* \|	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-02
\|\\|
\| *	Reduce ide/coq.png to 256x256.	Guillaume Melquiond	2016-04-29
\| *	Make the language grammar much more precise. (Fix bugs #4682 and #4683)	Guillaume Melquiond	2016-04-28
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-03-18
\|\\|
\| *	CoqIDE is more resilient to initialization errors.	Pierre-Marie Pédrot	2016-03-15
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-02-21
\|\\|
\| *	Fixing bug #4540: CoqIDE bottom progress bar does not update.	Pierre-Marie Pédrot	2016-02-20
\| *	CoqIDE: STOP button also stops workers (fix #4542)	Enrico Tassi	2016-02-19
* \|	CLEANUP: Context.{Rel,Named}.Declaration.t	Matej Kosik	2016-02-09
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	merge	Matej Kosik	2016-01-11
\|\ \
\| * \|	CLEANUP: kernel/context.ml{,i}	Matej Kosik	2016-01-11
* \| \|	Remove deprecated command-line options such as "-as".	Guillaume Melquiond	2016-01-06
* \| \|	Make code more readable by not mixing list traversal and option processing.	Guillaume Melquiond	2016-01-06
* \| \|	Merge remote-tracking branch 'origin/v8.5' into trunk	Guillaume Melquiond	2016-01-06
\|\ \ \ \| \| \|/ \| \|/\|
\| * \|	Prevent coq_makefile from parsing project files in the reverse order. (Fix bu...	Guillaume Melquiond	2016-01-06
* \| \|	Remove some unused functions.	Guillaume Melquiond	2016-01-02
* \| \|	Remove some useless type declarations.	Guillaume Melquiond	2016-01-02
* \| \|	Avoid warnings about loop indices.	Guillaume Melquiond	2016-01-02
* \| \|	Remove useless rec flags.	Guillaume Melquiond	2016-01-02
* \| \|	Fix typos.	Guillaume Melquiond	2016-01-01
* \| \|	Remove unplugged button from the interface.	Guillaume Melquiond	2016-01-01
\| \|/ \|/\|
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-12-15
\|\\|
\| *	Fixing little bug of coq_makefile with unterminated comment.	Hugo Herbelin	2015-12-14
\| *	CoqIDE: add 'you need to restart CoqIDE after changing shortcuts' message	Enrico Tassi	2015-12-14
\| *	Revert PMP's fix of #2498, which introduces an incompatibility with lablgtk	Maxime Dénès	2015-12-14
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-30
\|\\|
\| *	Fix typo.	Guillaume Melquiond	2015-10-30
* \|	Using GADTs in Xmlprotocol.	Pierre-Marie Pédrot	2015-10-22
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-15
\|\\|
\| *	Fix some typos.	Guillaume Melquiond	2015-10-13
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-09
\|\\|
\| *	Goptions: new value type: optional string	Enrico Tassi	2015-10-08
* \|	Use default GTK styles for CoqIDE tags.	Pierre-Marie Pédrot	2015-09-26
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-25
\|\\|
* \|	Fixing unsetting of CoqIDE tags.	Pierre-Marie Pédrot	2015-09-24
\| *	Change the default modifiers for navigation. (Fix bug #4295)	Guillaume Melquiond	2015-09-21
* \|	Rich printing of CoqIDE protocol failure.	Pierre-Marie Pédrot	2015-09-20
* \|	Rich printing of messages.	Pierre-Marie Pédrot	2015-09-20
* \|	Rich printing of goals.	Pierre-Marie Pédrot	2015-09-20
* \|	Adding rich printing primitives.	Pierre-Marie Pédrot	2015-09-20
* \|	Do not canonicalize messages received by CoqIDE.	Pierre-Marie Pédrot	2015-09-20
* \|	Pluging in tag preferences into buffer printing.	Pierre-Marie Pédrot	2015-09-20
* \|	Adding standard printing tags to CoqIDE.	Pierre-Marie Pédrot	2015-09-20
* \|	Adding a tag preference	Pierre-Marie Pédrot	2015-09-20
* \|	Merge branch 'v8.5' into trunk	Maxime Dénès	2015-09-17
\|\\|