NEWS

--- a/NEWS	Thu Dec 07 15:48:50 2017 +0100
+++ b/NEWS	Thu Dec 07 19:36:48 2017 +0100
@@ -83,6 +83,9 @@
 antiquotations in control symbol notation, e.g. \<^const_name> becomes
 \isactrlconstUNDERSCOREname.
 
+* Document preparation with skip_proofs option now preserves the content
+more accurately: only terminal proof steps ('by' etc.) are skipped.
+
 
 *** HOL ***