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