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