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