# HG changeset patch
# User wenzelm
# Date 1725911681 -7200
# Node ID c1521c003e783c19aadeb5006e3a732b2cd94391
# Parent  28f069b85eeaba883cb6c10f01fc54542c985523
proper formal sections;

diff -r 28f069b85eea -r c1521c003e78 NEWS
--- 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