NEWS
changeset 56265 785569927666
parent 56248 67dc9549fa15
child 56275 600f432ab556
     1.1 --- a/NEWS	Sun Mar 23 16:40:35 2014 +0100
     1.2 +++ b/NEWS	Mon Mar 24 12:00:17 2014 +0100
     1.3 @@ -34,6 +34,10 @@
     1.4  exception.  Potential INCOMPATIBILITY for non-conformant tactical
     1.5  proof tools.
     1.6  
     1.7 +* Discontinued old Toplevel.debug in favour of system option
     1.8 +"exception_trace", which may be also declared within the context via
     1.9 +"declare [[exception_trace = true]]".  Minor INCOMPATIBILITY.
    1.10 +
    1.11  
    1.12  *** Prover IDE -- Isabelle/Scala/jEdit ***
    1.13