coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Making explicit that errors happen in one of five executation phases.	Hugo Herbelin	2018-05-02
*	[vernac] Move `Quit` and `Drop` to the toplevel layer.	Emilio Jesus Gallego Arias	2018-03-11
*	Merge PR #6855: Update headers following #6543.	Maxime Dénès	2018-03-05
\|\
* \|	[toplevel] Update state when `Drop` exception is thrown [#6872]	Emilio Jesus Gallego Arias	2018-02-28
\| *	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|/
*	[toplevel] Make toplevel state into a record.	Emilio Jesus Gallego Arias	2018-02-15
*	[flags] Move global time flag into an attribute.	Emilio Jesus Gallego Arias	2017-12-23
*	[toplevel] Export the last document seen after `Drop`.	Emilio Jesus Gallego Arias	2017-10-28
*	[stm] Switch to a functional API	Emilio Jesus Gallego Arias	2017-10-06
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	[emacs] [toplevel] Make emacs flag local to the toplevel.	Emilio Jesus Gallego Arias	2017-06-01
*	Remove unused [open] statements	Gaetan Gilbert	2017-04-27
*	[stm] Port the toplevel to the STM.	Emilio Jesus Gallego Arias	2017-04-12
*	[toplevel] Remove exception error printer in favor of feedback printer.	Emilio Jesus Gallego Arias	2017-04-05
*	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
*	[safe_string] toplevel/coqloop	Emilio Jesus Gallego Arias	2017-03-14
*	Attaching all extra imperative components of the lexer/parser state to	Hugo Herbelin	2016-10-09
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot	2014-12-16
*	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey	2014-03-05
*	A few fixes to the build system (mostly for ocamlbuild)	Pierre Letouzey	2013-12-16