--- a/NEWS Sun Nov 02 16:39:54 2014 +0100
+++ b/NEWS Sun Nov 02 16:47:45 2014 +0100
@@ -172,7 +172,8 @@
before the initial 'theory' command. Obsolete proof commands 'sect',
'subsect', 'subsubsect' have been discontinued. The Obsolete 'header'
command is still retained for some time, but should be replaced by
-'chapter', 'section' etc. Minor INCOMPATIBILITY.
+'chapter', 'section' etc. (using "isabelle update_header"). Minor
+INCOMPATIBILITY.
* Official support for "tt" style variants, via \isatt{...} or
\begin{isabellett}...\end{isabellett}. The somewhat fragile \verb or