NEWS

--- a/NEWS	Wed Oct 14 14:15:13 2015 +0200
+++ b/NEWS	Wed Oct 14 14:21:00 2015 +0200
@@ -59,12 +59,14 @@
 
 * Isabelle control symbols for markup and formatting:
 
+  \<^noindent>   \noindent
   \<^smallskip>   \smallskip
   \<^medskip>   \medskip
   \<^bigskip>   \bigskip
 
   \<^item>  \item  (itemize)
-  \<^enum>  \item  (enumeration)
+  \<^enum>  \item  (enumerate)
+  \<^descr>  \item  (description)
 
 
 *** Isar ***