coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
\|\\|
\| *	Removing a warning in CoqOps.	Pierre-Marie Pédrot	2015-09-15
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-13
\|\\|
\| *	Fixing bug #2498: Coqide navigation preferences delayed effect.	Pierre-Marie Pédrot	2015-09-12
\| *	Extending the grammar for CoqIDE preferences so as to match trunk.	Pierre-Marie Pédrot	2015-09-10
* \|	Switching to an event-based mechanism for CoqIDE preferences.	Pierre-Marie Pédrot	2015-08-31
* \|	Replacing old-style preferences in CoqIDE.	Pierre-Marie Pédrot	2015-08-26
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-22
\|\\|
\| *	Highlighting of the "Next Obligation" command in CoqIDE.	Pierre-Marie Pédrot	2015-08-17
* \|	Using the new preference mechanism for colors in CoqIDE.	Pierre-Marie Pédrot	2015-08-16
* \|	Taking advantage of the new type of preferences.	Pierre-Marie Pédrot	2015-08-16
* \|	Turning CoqIDE preferences into new style.	Pierre-Marie Pédrot	2015-08-16
* \|	Simplifying CoqIDE preferences mechanism.	Pierre-Marie Pédrot	2015-08-16
\| *	Reverting 16 last commits, committed mistakenly using the wrong push command.	Hugo Herbelin	2015-08-02
\| *	Failing when reaching end of file with unterminated comment when	Hugo Herbelin	2015-08-02
\|/
*	Use open_utf8_file_in for opening files in the IDE. (Fix bug #2874)	Guillaume Melquiond	2015-07-28
*	CoqIDE: recenter on backtrack (Close: #4277)	Enrico Tassi	2015-07-11
*	Highlighting Universe in CoqIDE.	Hugo Herbelin	2015-07-10
*	Ide: fix bug #4284 for good	Matthieu Sozeau	2015-07-08
*	Bug 4284: Tentative bugfix for detyping exception.	Matthieu Sozeau	2015-07-08
*	Make end-of-proof output consistent across toplevels.	Guillaume Melquiond	2015-06-19
*	Fix by Enrico on CoqIDE not locating errors anymore since 550da87456a.	Hugo Herbelin	2015-06-16
*	Fixing bug #4233: The command Restart is not fontified correctly.	Pierre-Marie Pédrot	2015-06-07
*	coqide: don't require ocaml >= 4	Enrico Tassi	2015-05-29
*	Jump to error line in CoqIDE grabs focus of the textview.	Pierre-Marie Pédrot	2015-05-26
*	CoqIDE columns in error and job panels can be sorted.	Pierre-Marie Pédrot	2015-05-25
*	Compatibility ocaml 3.12.	Hugo Herbelin	2015-05-05
*	Granting wish #4221.	Pierre-Marie Pédrot	2015-05-05
*	Improve syntax highlighting.	Guillaume Melquiond	2015-04-27
*	Open the file chooser even if there is no current session. (Fix bug #4206)	Guillaume Melquiond	2015-04-26
*	Add extraction to JSON.	Nickolai Zeldovich	2015-04-09