--- a/NEWS Thu Aug 25 12:29:42 2022 +0200
+++ b/NEWS Thu Aug 25 15:30:21 2022 +0200
@@ -245,6 +245,10 @@
Isabelle repository: a regular download of the distribution will not
work!
+* The session build database now maintains an additional "uuid" column
+to identity the original build process uniquely. Thus other tools may
+dependent symbolically on a particular build instance.
+
* External Isabelle tools implemented as .scala scripts are no longer
supported. INCOMPATIBILITY, instead provide a proper Isabelle/Scala
module with etc/build.props and "services" for a suitable class instance