--- a/NEWS Thu Jan 05 22:30:20 2023 +0100
+++ b/NEWS Fri Jan 06 12:05:32 2023 +0100
@@ -193,8 +193,8 @@
* The command-line tool "isabelle update" is now directly based on
"isabelle build" instead of "isabelle dump". Thus it has become more
-scalable, and supports a few additional options from "isabelle build".
-Partial builds are supported as well, e.g. "isabelle update -n -a".
+scalable, and supports most options from "isabelle build". Partial
+builds are supported as well, e.g. "isabelle update -n -a".
* Isabelle/Scala provides generic support for XZ and Zstd compression,
via Compress.Options and Compress.Cache. Bytes.uncompress automatically