NEWS

--- a/NEWS	Fri Dec 08 23:43:58 2017 +0100
+++ b/NEWS	Sun Dec 10 14:29:14 2017 +0100
@@ -86,6 +86,8 @@
 * Document preparation with skip_proofs option now preserves the content
 more accurately: only terminal proof steps ('by' etc.) are skipped.
 
+* More explicit errors from latex process.
+
 
 *** HOL ***