NEWS;
authorwenzelm
Sun Jan 12 18:40:49 2014 +0100 (2014-01-12)
changeset 55001f26a7f06266d
parent 55000 782b8cc9233d
child 55002 81fff1c65943
NEWS;
NEWS
     1.1 --- a/NEWS	Sun Jan 12 18:34:00 2014 +0100
     1.2 +++ b/NEWS	Sun Jan 12 18:40:49 2014 +0100
     1.3 @@ -31,6 +31,14 @@
     1.4  "isabelle jedit -m MODE".
     1.5  
     1.6  
     1.7 +*** Pure ***
     1.8 +
     1.9 +* More thorough check of proof context for goal statements and
    1.10 +attributed fact expressions: background theory, declared hyps,
    1.11 +declared variable names.  Potential INCOMPATIBILITY, tools need to
    1.12 +observe standard context discipline.
    1.13 +
    1.14 +
    1.15  *** HOL ***
    1.16  
    1.17  * "declare [[code abort: ...]]" replaces "code_abort ...".