NEWS
changeset 42514 f32500b4bc23
parent 42502 13b41fb77649
child 42582 6321d0dc3d72
--- a/NEWS	Sun May 01 16:56:50 2011 +0200
+++ b/NEWS	Sun May 01 17:13:44 2011 +0200
@@ -83,6 +83,12 @@
 
 *** Document preparation ***
 
+* Localized \isabellestyle switch can be used within blocks or groups
+like this:
+
+  \isabellestyle{it}  %preferred default
+  {\isabellestylett @{text "typewriter stuff"}}
+
 * New term style "isub" as ad-hoc conversion of variables x1, y23 into
 subscripted form x\<^isub>1, y\<^isub>2\<^isub>3.