[isabelle-dev] NEWS: document preparation with skip_proofs

Makarius makarius at sketis.net
Thu Dec 7 20:21:22 CET 2017


*** Document preparation ***

* Document preparation with skip_proofs option now preserves the content
more accurately: only terminal proof steps ('by' etc.) are skipped.


This refers to Isabelle/d0657c8b7616.


	Makarius


More information about the isabelle-dev mailing list