NEWS
changeset 42484 2777a27506d0
parent 42403 38b29c9fc742
child 42502 13b41fb77649
     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