* 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!

--- a/NEWS	Tue Oct 24 23:36:17 2000 +0200
+++ b/NEWS	Tue Oct 24 23:38:56 2000 +0200
@@ -15,6 +15,15 @@
 (should now use \isamath{...} and \isatext{...} in custom symbol
 definitions);
 
+* 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!
+
+
 
 *** Isar ***