NEWS
changeset 67176 13b5c3ff1954
parent 67173 e746db6db903
child 67191 9ab34bb83a84
     1.1 --- a/NEWS	Sun Dec 10 14:50:44 2017 +0100
     1.2 +++ b/NEWS	Sun Dec 10 18:31:41 2017 +0100
     1.3 @@ -86,7 +86,9 @@
     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 +* Command-line tool "isabelle document" has been re-implemented in
     1.9 +Isabelle/Scala, with simplified arguments and explicit errors from the
    1.10 +latex process. Minor INCOMPATIBILITY.
    1.11  
    1.12  
    1.13  *** HOL ***