coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-08	Convert 2nd part of rewriting chapter to prodn	Jim Fehrle
2020-12-30	Convert rewriting and proof-mode chapters to prodn	Jim Fehrle
2020-11-09	[refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina.	Théo Zimmermann
2020-07-01	UIP in SProp	Gaëtan Gilbert
2020-04-27	Further documentation improvements.	Théo Zimmermann
2020-04-27	Improve the Allow SProp error message.	Théo Zimmermann
2020-04-16	Make cumulative sprop a typing flag, deprecate command line -sprop-cumulative	Gaëtan Gilbert
2019-11-04	Cite POPL19 SProp paper	Gaëtan Gilbert
2019-10-04	Allow SProp default on	Gaëtan Gilbert
2019-04-30	First fixing pass, and experiment with dune-style PR number and author listing.	Théo Zimmermann
2019-04-10	Improve SProp error message to mention the Allow StrictProp flag.	Théo Zimmermann
2019-03-14	Documentation for SProp	Gaëtan Gilbert