coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'trunk' into pr379	Maxime Dénès	2017-04-04
\|\
\| *	Merge PR#417: No cast surgery in let in	Maxime Dénès	2017-04-03
\| \|\
\| * \	Merge PR#522: [coqide] Protect against size_allocate race in proofview.	Maxime Dénès	2017-03-29
\| \|\ \
\| * \| \|	[ide] Fix typo in pp serialization.	Emilio Jesus Gallego Arias	2017-03-29
\| \| * \|	[coqide] Protect against size_allocate race in proofview.	Emilio Jesus Gallego Arias	2017-03-28
\| \|/ /
* \| \|	Merge branch 'trunk' into pr379	Maxime Dénès	2017-03-24
\|\\| \|
\| \| *	Replacing "cast surgery" in LetIn by a proper field (see PR #404).	Hugo Herbelin	2017-03-24
\| \| *	Unifying standard "constr_level" names for constructors of local_binder_expr.	Hugo Herbelin	2017-03-24
\| \| *	"Standardizing" the name LocalPatten into LocalRawPattern.	Hugo Herbelin	2017-03-24
\| \|/
\| *	make check not CoqIDE-specific	Paul Steckler	2017-03-22
\| *	[ide protocol] Add comment about leftover parameter.	Emilio Jesus Gallego Arias	2017-03-21
\| *	[pp] Hide the internal representation of `std_ppcmds`.	Emilio Jesus Gallego Arias	2017-03-21
\| *	[pp] Fix bug in richpp Format use.	Emilio Jesus Gallego Arias	2017-03-21
\| *	[xml] Restore protocol compatibility with 8.6.	Emilio Jesus Gallego Arias	2017-03-21
\| *	[pp] Remove uses of expensive string_of_ppcmds.	Emilio Jesus Gallego Arias	2017-03-21
\| *	[pp] [ide] Minor cleanups in pp code.	Emilio Jesus Gallego Arias	2017-03-21
\| *	[pp] Move terminal-specific tagging to the toplevel.	Emilio Jesus Gallego Arias	2017-03-21
\| *	[pp] Remove special tag type and handler from Pp.	Emilio Jesus Gallego Arias	2017-03-21
\| *	[ide] Dynamic printing width.	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
\| *	[pp] Remove unused printing tagging infrastructure.	Emilio Jesus Gallego Arias	2017-03-21
\| *	[ide] ide_slave doesnt't need to capture stdout	Emilio Jesus Gallego Arias	2017-03-21
\| *	[ide] Use "log via feedback".	Emilio Jesus Gallego Arias	2017-03-21
\| *	[safe-string] ide	Emilio Jesus Gallego Arias	2017-03-14
* \|	Merge branch 'master'.	Pierre-Marie Pédrot	2017-02-14
\|\\|
* \|	Evar-normalizing functions now act on EConstrs.	Pierre-Marie Pédrot	2017-02-14
* \|	Removing compatibility layers related to printing.	Pierre-Marie Pédrot	2017-02-14
* \|	Goal API using EConstr.	Pierre-Marie Pédrot	2017-02-14
\| *	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-02-01
\| \|\
\| * \	Merge PR#355: Remove unused feedback_content: Goals	Maxime Dénès	2017-01-30
\| \|\ \
\| \| \| *	Fix documentation typos.	Guillaume Melquiond	2017-01-27
\| * \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-01-19
\| \|\ \ \ \| \| \| \|/ \| \| \|/\|
\| \| * \|	Fix broken .aux machinery.	Guillaume Melquiond	2017-01-13
\| * \| \|	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
\| \| *	Remove unused feedback_content: Goals	CJ Bell	2016-11-10
\| \|/ \|/\|
* \|	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