NEWS

--- a/NEWS	Mon Oct 12 17:06:49 2015 +0200
+++ b/NEWS	Mon Oct 12 17:10:36 2015 +0200
@@ -55,6 +55,18 @@
 requirements of prover time and GUI space.
 
 
+*** Document preparation ***
+
+* Isabelle control symbols for markup and formatting:
+
+  \<^smallskip>   \smallskip
+  \<^medskip>   \medskip
+  \<^bigskip>   \bigskip
+
+  \<^item>  \item  (itemize)
+  \<^enum>  \item  (enumeration)
+
+
 *** Isar ***
 
 * Command 'obtain' binds term abbreviations (via 'is' patterns) in the