| changeset 64013 | 048b7dbfdfa3 |
| parent 63995 | 2e4d80723fb0 |
| child 64072 | 9f96e4da3064 |
--- a/NEWS Mon Oct 03 14:34:30 2016 +0200 +++ b/NEWS Mon Oct 03 14:34:31 2016 +0200 @@ -60,6 +60,9 @@ introduction and elimination rules after each split rule. As a result the subgoal may be split into several subgoals. +* Solve direct: option 'solve_direct_strict_warnings' gives explicit + warnings for lemma statements with trivial proofs. + *** Prover IDE -- Isabelle/Scala/jEdit ***