coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-12-07
\|\
\| *	[merlin] Adjust merlin for ide.	Emilio Jesus Gallego Arias	2016-11-30
\| *	Fix some documentation typos.	Guillaume Melquiond	2016-11-24
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-18
\|\\|
\| *	Revert "Merge remote-tracking branch 'github/pr/360' into v8.6"	Maxime Dénès	2016-11-18
\| *	[stm] Remove STM-related vernaculars	Emilio Jesus Gallego Arias	2016-11-17
\| *	Coqide: fixing default local links for refman and stdlib.	Hugo Herbelin	2016-11-11
\| *	Making explicit that a result is discarded (ocaml warning).	Hugo Herbelin	2016-11-11
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-05
\|\\|
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-02
\|\ \
\| \| *	Add command 'Set foo Append "bar"' for appending to an option (bug #5109).	Guillaume Melquiond	2016-10-01
\| \|/
\| *	Merge branch 'v8.5' into v8.6	Maxime Dénès	2016-09-30
\| \|\
\| * \|	Fix bug #4798: compat notations should not modify the parser.	Pierre-Marie Pédrot	2016-09-29
\| * \|	Do not stop propagation of signals when Coq is busy (bug #3941).	Guillaume Melquiond	2016-09-28
\| \| *	Make error message more helpful.	Théo Zimmermann	2016-09-28
\| * \|	Fix bug #4553: CoqIDE gives warnings about deprecated GTK features.	Pierre-Marie Pédrot	2016-09-27
* \| \|	Revert "Merge remote-tracking branch 'github/pr/283' into trunk"	Maxime Dénès	2016-09-22
* \| \|	Merge remote-tracking branch 'github/pr/283' into trunk	Maxime Dénès	2016-09-22
\|\ \ \
* \| \| \|	Removing dead code in CoqIDE.	Pierre-Marie Pédrot	2016-09-21
\| * \| \|	Stylistic improvements in intf/decl_kinds.mli.	Maxime Dénès	2016-09-20
\|/ / /
* \| \|	Make the Coq codebase independent from Ltac-related code.	Pierre-Marie Pédrot	2016-09-16
\|\ \ \
* \ \ \	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-14
\|\ \ \ \ \| \| \|/ / \| \|/\| \|
\| * \| \|	CoqIDE: push to message win feedback Message(Debug,Info,Notice)	Enrico Tassi	2016-09-13
\| \| * \|	Removing the last uses of Pptactic in the lower layers.	Pierre-Marie Pédrot	2016-09-09
\| \| * \|	Making Vernacexpr independent from Tacexpr.	Pierre-Marie Pédrot	2016-09-08
\| \|/ / \|/\| \|
* \| \|	Merge PR #244.	Pierre-Marie Pédrot	2016-09-08
\|\ \ \
* \ \ \	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-07
\|\ \ \ \ \| \| \|/ / \| \|/\| \|
\| * \| \|	CoqIDE: Errors are sticky (fix #4368)	Enrico Tassi	2016-09-07
\| * \| \|	coqide: use Document instead of tags to detect sentences to `Skip (#4829)	Enrico Tassi	2016-09-05
\| * \| \|	xml_printer: use sensible names for putc and puts	Enrico Tassi	2016-09-05
\| * \| \|	feedback: support multiple feedback listeners	Enrico Tassi	2016-09-05
* \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-09-02
\|\\| \| \|
\| * \| \|	Fix bug #5051: Large outputs are garbled.	Pierre-Marie Pédrot	2016-08-30
* \| \| \|	CLEANUP: removing a function that duplicates its counterpart already present ...	Matej Kosik	2016-08-30
\| * \| \|	Fix bug #4421: Messages dialog in Coqide resets.	Pierre-Marie Pédrot	2016-08-29
\| * \| \|	CoqIDE preserves unknown preferences.	Pierre-Marie Pédrot	2016-08-29
\| * \| \|	Fix inefficiency in CoqIDE display of tagged text.	Pierre-Marie Pédrot	2016-08-29
* \| \| \|	CLEANUP: renaming "Context.ListNamed" module to "Context.Compacted"	Matej Kosik	2016-08-26
* \| \| \|	CLEANUP: changing the definition of the "Context.NamedList.Declaration" type	Matej Kosik	2016-08-25
* \| \| \|	CLEANUP: removing calls of the "Context.Named.Declaration.to_tuple" function	Matej Kosik	2016-08-24
\|/ / /
\| * \|	Make the user_err header an optional parameter.	Emilio Jesus Gallego Arias	2016-08-19
\| * \|	Remove errorlabstrm in favor of user_err	Emilio Jesus Gallego Arias	2016-08-19
\| * \|	Unify location handling of error functions.	Emilio Jesus Gallego Arias	2016-08-19
\|/ /
* \|	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-08-16
\|\\|
\| *	Fix regression in Coqide's "forward one command" command	Xavier Leroy	2016-08-14
* \|	Adding a flag in CoqIDE to configure UNIX/Windows line ending.	Pierre-Marie Pédrot	2016-07-26
* \|	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
* \|	A new infrastructure for warnings.	Maxime Dénès	2016-06-29
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-06-27
\|\\|
* \|	Merge remote-tracking branch 'github/pr/223' into feedback-locations	Maxime Dénès	2016-06-27
\|\ \