1.1 --- a/NEWS Wed Apr 27 10:49:39 2011 +0200
1.2 +++ b/NEWS Wed Apr 27 13:21:12 2011 +0200
1.3 @@ -76,11 +76,15 @@
1.4 - Use extended reals instead of positive extended reals.
1.5 INCOMPATIBILITY.
1.6
1.7 +
1.8 *** Document preparation ***
1.9
1.10 * New term style "isub" as ad-hoc conversion of variables x1, y23 into
1.11 subscripted form x\<^isub>1, y\<^isub>2\<^isub>3.
1.12
1.13 +* Predefined LaTeX macros for Isabelle symbols \<bind> and \<then>
1.14 +(e.g. see ~~/src/HOL/Library/Monad_Syntax.thy).
1.15 +
1.16
1.17 *** ML ***
1.18