NEWS
changeset 10322 df38c61bf541
parent 10306 b0ab988a27a9
child 10337 fca9cd9fd115
equal deleted inserted replaced
10321:bbaad3045e37 10322:df38c61bf541
    12 *** Document preparation ***
    12 *** Document preparation ***
    13 
    13 
    14 * improved isabelle style files; more abstract symbol implementation
    14 * improved isabelle style files; more abstract symbol implementation
    15 (should now use \isamath{...} and \isatext{...} in custom symbol
    15 (should now use \isamath{...} and \isatext{...} in custom symbol
    16 definitions);
    16 definitions);
       
    17 
       
    18 * support sub/super scripts (for single symbols only), input syntax is
       
    19 like this: "A\<^sup>*" or "A\<^sup>\<star>";
       
    20 
       
    21 * antiquotation @{goals} for output of *dynamic* goals state; Note
       
    22 that presentation of goal states does not conform to actual
       
    23 human-readable proof documents.  Please do not include goal states
       
    24 into document output unless you really know what you are doing!
       
    25 
    17 
    26 
    18 
    27 
    19 *** Isar ***
    28 *** Isar ***
    20 
    29 
    21 * HOL: default proof step now includes 'intro_classes';
    30 * HOL: default proof step now includes 'intro_classes';