tuned;
authorwenzelm
Fri Jan 01 16:39:10 2016 +0100 (2016-01-01)
changeset 62027b270f2b9bef8
parent 62026 ea3b1b0413b4
child 62028 2ecee4679f99
tuned;
NEWS
     1.1 --- a/NEWS	Fri Jan 01 14:44:52 2016 +0100
     1.2 +++ b/NEWS	Fri Jan 01 16:39:10 2016 +0100
     1.3 @@ -86,7 +86,7 @@
     1.4  instead of former C+e LEFT.
     1.5  
     1.6  * The command-line tool "isabelle jedit" and the isabelle.Main
     1.7 -application wrapper threat the default $USER_HOME/Scratch.thy more
     1.8 +application wrapper treat the default $USER_HOME/Scratch.thy more
     1.9  uniformly, and allow the dummy file argument ":" to open an empty buffer
    1.10  instead.
    1.11  
    1.12 @@ -551,7 +551,7 @@
    1.13    - Removed "check_potential" and "check_genuine" options.
    1.14    - Eliminated obsolete "blocking" option.
    1.15  
    1.16 -* New (co)datatype package:
    1.17 +* (Co)datatype package:
    1.18    - New commands "lift_bnf" and "copy_bnf" for lifting (copying) a BNF
    1.19      structure on the raw type to an abstract type defined using typedef.
    1.20    - Always generate "case_transfer" theorem.