coq - The formal proof system

Age	Commit message (Expand)	Author
2020-09-14	Remove deprecated Extraction Language command value "Ocaml"	Jim Fehrle
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-08-29	Make sure that all query commands return a notice (not an info) feedback	Maxime Dénès
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-06-04	Alternate syntax for ![]: VERNAC EXTEND Foo STATE proof	Gaëtan Gilbert
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-05-23	Fixing typos - Part 2	JPR
2019-03-27	[plugins] [extraction] Adapt to removal of imperative proof state.	Emilio Jesus Gallego Arias
2018-10-15	Port remaining EXTEND ml4 files to coqpp.	Pierre-Marie Pédrot