--- a/NEWS Thu Jul 20 12:38:00 2023 +0200
+++ b/NEWS Thu Jul 20 12:42:23 2023 +0200
@@ -388,6 +388,9 @@
aims to be a minimal configuration file format. See also
https://toml.io/en/v1.0.0
+* The command-line tool "isabelle build" now supports option -A to
+include AFP as directory, without selecting any sessions yet.
+
* The command-line tool "isabelle profiling" produces per-session
statistics from ML heap images. Command-line options are similar to
"isabelle build". Output is in CSV format, which can be opened by common