NEWS
changeset 55007 0c07990363a3
parent 55006 ea9fc64327cb
child 55015 e33c5bd729ff
     1.1 --- a/NEWS	Mon Jan 13 18:47:48 2014 +0100
     1.2 +++ b/NEWS	Mon Jan 13 20:20:44 2014 +0100
     1.3 @@ -42,6 +42,11 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Activation of Z3 now works via "z3_non_commercial" system option
     1.8 +(without requiring restart), instead of former settings variable
     1.9 +"Z3_NON_COMMERCIAL".  The option can be edited in Isabelle/jEdit menu
    1.10 +Plugin Options / Isabelle / General.
    1.11 +
    1.12  * "declare [[code abort: ...]]" replaces "code_abort ...".
    1.13  INCOMPATIBILITY.
    1.14