NEWS
changeset 67203 85784e16bec8
parent 67199 93600ca0c8d9
child 67207 ad538f6c5d2f
     1.1 --- a/NEWS	Thu Dec 14 14:34:56 2017 +0100
     1.2 +++ b/NEWS	Thu Dec 14 21:09:41 2017 +0100
     1.3 @@ -88,7 +88,7 @@
     1.4  
     1.5  * Command-line tool "isabelle document" has been re-implemented in
     1.6  Isabelle/Scala, with simplified arguments and explicit errors from the
     1.7 -latex process. Minor INCOMPATIBILITY.
     1.8 +latex and bibtex process. Minor INCOMPATIBILITY.
     1.9  
    1.10  
    1.11  *** HOL ***