NEWS
changeset 67157 d0657c8b7616
parent 67145 e77c5bfca9aa
child 67173 e746db6db903
     1.1 --- a/NEWS	Wed Dec 06 14:19:36 2017 +0100
     1.2 +++ b/NEWS	Thu Dec 07 19:36:48 2017 +0100
     1.3 @@ -83,6 +83,9 @@
     1.4  antiquotations in control symbol notation, e.g. \<^const_name> becomes
     1.5  \isactrlconstUNDERSCOREname.
     1.6  
     1.7 +* Document preparation with skip_proofs option now preserves the content
     1.8 +more accurately: only terminal proof steps ('by' etc.) are skipped.
     1.9 +
    1.10  
    1.11  *** HOL ***
    1.12