# HG changeset patch
# User wenzelm
# Date 1689021091 -7200
# Node ID 8be2253807cbd259c55d1bef3a2cf53adb3e6e01
# Parent  b6b827c01ffc78f10ddeba9efd6e1394fcc73a59
tuned;

diff -r b6b827c01ffc -r 8be2253807cb NEWS
--- a/NEWS	Mon Jul 10 22:31:24 2023 +0200
+++ b/NEWS	Mon Jul 10 22:31:31 2023 +0200
@@ -26,7 +26,8 @@
   class.order.of_class.intro  ~> order.intro_of_class
 
 * The Eisbach 'method' command now takes an optional description for
-display with print_methods, similar to the 'method_setup' command.
+display with 'print_methods', similar to the 'method_setup' command.
+
 
 *** Document preparation ***
 
@@ -80,7 +81,7 @@
   - Add proof method "order".
 
 * 'primcorec': Made the internal tactic more robust in the face of
-  nested corecursion.
+nested corecursion.
 
 * Theory "HOL.Map":
   - Map.empty has been demoted to an input abbreviation.