NEWS
changeset 67173 e746db6db903
parent 67157 d0657c8b7616
child 67176 13b5c3ff1954
     1.1 --- a/NEWS	Fri Dec 08 23:43:58 2017 +0100
     1.2 +++ b/NEWS	Sun Dec 10 14:29:14 2017 +0100
     1.3 @@ -86,6 +86,8 @@
     1.4  * Document preparation with skip_proofs option now preserves the content
     1.5  more accurately: only terminal proof steps ('by' etc.) are skipped.
     1.6  
     1.7 +* More explicit errors from latex process.
     1.8 +
     1.9  
    1.10  *** HOL ***
    1.11