NEWS
changeset 10421 ceaab640734b
parent 10401 58bb50f69497
child 10428 8f15fbce549f
     1.1 --- a/NEWS	Wed Nov 08 14:38:04 2000 +0100
     1.2 +++ b/NEWS	Wed Nov 08 17:46:24 2000 +0100
     1.3 @@ -1,4 +1,3 @@
     1.4 -
     1.5  Isabelle NEWS -- history user-relevant changes
     1.6  ==============================================
     1.7  
     1.8 @@ -24,8 +23,8 @@
     1.9  * support sub/super scripts (for single symbols only), input syntax is
    1.10  like this: "A\<^sup>*" or "A\<^sup>\<star>";
    1.11  
    1.12 -* antiquotation @{goals} for output of *dynamic* goals state; Note
    1.13 -that presentation of goal states does not conform to actual
    1.14 +* antiquotation @{goals} and @{subgoals} for output of *dynamic* goals state;
    1.15 +Note that presentation of goal states does not conform to actual
    1.16  human-readable proof documents.  Please do not include goal states
    1.17  into document output unless you really know what you are doing!
    1.18