NEWS
changeset 73872 b0ea03e837b1
parent 73851 aece5cc9efb7
child 73878 4dc3baf45d6a
--- a/NEWS	Sun May 02 15:56:58 2021 +0200
+++ b/NEWS	Sun May 02 17:38:49 2021 +0200
@@ -27,6 +27,11 @@
 Isabelle/jEdit.
 
 
+*** Isabelle/jEdit Prover IDE ***
+
+* More robust 'proof' outline for method "induct": support nested cases.
+
+
 *** Document preparation ***
 
 * Improved LaTeX typesetting of \<open>...\<close> using \guilsinglleft ...