--- a/NEWS Thu Jan 05 21:14:37 2023 +0100
+++ b/NEWS Thu Jan 05 21:14:53 2023 +0100
@@ -191,6 +191,11 @@
*** System ***
+* 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".
+
* Isabelle/Scala provides generic support for XZ and Zstd compression,
via Compress.Options and Compress.Cache. Bytes.uncompress automatically
detects the compression scheme.