*** 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