* support sub/super scripts (for single symbols only), input syntax is
authorwenzelm
Tue Oct 24 23:38:56 2000 +0200 (2000-10-24)
changeset 10322df38c61bf541
parent 10321 bbaad3045e37
child 10323 b52d32a11476
* support sub/super scripts (for single symbols only), input syntax is
like this: "A\<^sup>*" or "A\<^sup>\<star>";
* antiquotation @{goals} for output of *dynamic* goals state; Note
that presentation of goal states does not conform to actual
human-readable proof documents. Please do not include goal states
into document output unless you really know what you are doing!
NEWS
     1.1 --- a/NEWS	Tue Oct 24 23:36:17 2000 +0200
     1.2 +++ b/NEWS	Tue Oct 24 23:38:56 2000 +0200
     1.3 @@ -15,6 +15,15 @@
     1.4  (should now use \isamath{...} and \isatext{...} in custom symbol
     1.5  definitions);
     1.6  
     1.7 +* support sub/super scripts (for single symbols only), input syntax is
     1.8 +like this: "A\<^sup>*" or "A\<^sup>\<star>";
     1.9 +
    1.10 +* antiquotation @{goals} for output of *dynamic* goals state; Note
    1.11 +that presentation of goal states does not conform to actual
    1.12 +human-readable proof documents.  Please do not include goal states
    1.13 +into document output unless you really know what you are doing!
    1.14 +
    1.15 +
    1.16  
    1.17  *** Isar ***
    1.18