NEWS
changeset 43385 f32500b4bc23
parent 43373 13b41fb77649
child 43453 6321d0dc3d72
     1.1 --- a/NEWS	Sun May 01 16:56:50 2011 +0200
     1.2 +++ b/NEWS	Sun May 01 17:13:44 2011 +0200
     1.3 @@ -83,6 +83,12 @@
     1.4  
     1.5  *** Document preparation ***
     1.6  
     1.7 +* Localized \isabellestyle switch can be used within blocks or groups
     1.8 +like this:
     1.9 +
    1.10 +  \isabellestyle{it}  %preferred default
    1.11 +  {\isabellestylett @{text "typewriter stuff"}}
    1.12 +
    1.13  * New term style "isub" as ad-hoc conversion of variables x1, y23 into
    1.14  subscripted form x\<^isub>1, y\<^isub>2\<^isub>3.
    1.15