changeset 73616 | b0ea03e837b1 |
parent 73595 | aece5cc9efb7 |
child 73622 | 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 ...