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