changeset 41685 | e29ea98a76ce |
parent 41667 | b9357f56fd64 |
child 41703 | d27950860514 |
--- a/NEWS Mon Jan 31 23:53:07 2011 +0100 +++ b/NEWS Tue Feb 01 21:09:52 2011 +0100 @@ -4,6 +4,10 @@ New in this Isabelle version ---------------------------- +*** Document preparation *** + +* New term style "isub" as ad-hoc conversion of variables x1, y23 into +subscripted form x\<^isub>1, y\<^isub>2\<^isub>3. New in Isabelle2011 (January 2011)