coq - The formal proof system

Age	Commit message (Expand)	Author
2019-06-04	coqpp: add new ![] specifiers for structured proof interaction	Gaëtan Gilbert
2019-06-04	Proof_global: pass only 1 pstate when we don't want the proof stack	Gaëtan Gilbert
2019-06-03	Update tutorial plugin to use sigma, in keeping with doc recommendations	Talia Ringer
2019-05-24	Remove the indirect opaque accessor hooks from Opaqueproof.	Pierre-Marie Pédrot
2019-05-21	Fixing typos - Part 1	JPR
2019-05-21	Remove definition-not-visible warning	Gaëtan Gilbert
2019-05-01	[comDefinition] Use prepare function from DeclareDef.	Emilio Jesus Gallego Arias
2019-03-27	[plugin tutorial] Adapt to removal of imperative state.	Emilio Jesus Gallego Arias
2019-03-14	Add relevance marks on binders.	Gaëtan Gilbert
2019-02-23	[vernac] Unify declaration hooks.	Emilio Jesus Gallego Arias
2019-02-11	Fix #9527: unknown evar in nonterminating [fix] error.	Gaëtan Gilbert
2019-01-08	Integrate plugin tutorial after code import	Gaëtan Gilbert
2019-01-08	plugin_tutorial: ignore Coqlib.find_reference deprecation warning.	Gaëtan Gilbert
2019-01-08	Add 'doc/plugin_tutorial/' from commit '168a13dab1c9987f592994150997e692d4d7e...	Gaëtan Gilbert