coq - The formal proof system

Age	Commit message (Expand)	Author
2019-05-24	Stop using pstate in global print queries	Gaëtan Gilbert
2019-04-25	Add a typing colon in the output of the Search ssreflect vernacular	Erik Martin-Dorel
2019-04-12	Unify Set and Unset handling for options	Gaëtan Gilbert
2019-03-27	[plugins] [ssr] Adapt to removal of imperative proof state.	Emilio Jesus Gallego Arias
2019-03-20	Stop accessing proof env via Pfedit in printers	Maxime Dénès
2019-02-28	Implement a method for manual declaration of implicits.	Jasper Hugunin
2019-02-13	[ssr] move shorter Canonical to Coq proper	Enrico Tassi
2018-12-09	[doc] Enable Warning 50 [incorrect doc comment] and fix comments.	Emilio Jesus Gallego Arias
2018-11-02	coqpp VERNAC EXTEND uses #[ att = attribute; ] syntax	Gaëtan Gilbert
2018-11-02	Command driven attributes.	Gaëtan Gilbert
2018-11-02	Move attributes out of vernacinterp to new attributes module	Gaëtan Gilbert
2018-10-19	Deprecating Global.type_of_global_in_context.	Hugo Herbelin
2018-10-15	Port remaining EXTEND ml4 files to coqpp.	Pierre-Marie Pédrot