--- a/NEWS Mon Sep 09 21:45:56 2024 +0200
+++ b/NEWS Mon Sep 09 21:54:41 2024 +0200
@@ -7,7 +7,7 @@
New in this Isabelle version
----------------------------
-** General **
+*** General ***
* Inner syntax translations now support formal dependencies via commands
'syntax_types' or 'syntax_consts'. This is essentially an abstract
@@ -26,7 +26,7 @@
"cong" rules, notably for congproc implementations.
-** HOL **
+*** HOL ***
* Enumerations for tuples, sets, lists etc. now use specific grammar
productions and separate syntax constants: this allows PIDE markup
@@ -82,6 +82,7 @@
unconditional, with ln_mult_pos and ln_divide_pos introduced for legacy
purposes.
+
*** System ***
* The Build_Manager module has replaced previous glue-code for Jenkins