aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/addendum/sprop.rst
AgeCommit message (Collapse)Author
2021-03-08Convert 2nd part of rewriting chapter to prodnJim Fehrle
2020-12-30Convert rewriting and proof-mode chapters to prodnJim Fehrle
2020-11-09[refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina.Théo Zimmermann
The smallcaps rendering was inexistent in the PDF version and did not look good in the HTML version.
2020-07-01UIP in SPropGaëtan Gilbert
2020-04-27Further documentation improvements.Théo Zimmermann
2020-04-27Improve the Allow SProp error message.Théo Zimmermann
2020-04-16Make cumulative sprop a typing flag, deprecate command line -sprop-cumulativeGaëtan Gilbert
2019-11-04Cite POPL19 SProp paperGaëtan Gilbert
Close #10242
2019-10-04Allow SProp default onGaëtan Gilbert
2019-04-30First fixing pass, and experiment with dune-style PR number and author listing.Théo Zimmermann
2019-04-10Improve SProp error message to mention the Allow StrictProp flag.Théo Zimmermann
And document the error message.
2019-03-14Documentation for SPropGaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 12:12:36 +0000