NEWS
changeset 58872 f0f623005324
parent 58868 c5e1cce7ace3
child 58928 23d0ffd48006
equal deleted inserted replaced
58871:c399ae4b836f 58872:f0f623005324
   170 * Document headings work uniformly via the commands 'chapter',
   170 * Document headings work uniformly via the commands 'chapter',
   171 'section', 'subsection', 'subsubsection' -- in any context, even
   171 'section', 'subsection', 'subsubsection' -- in any context, even
   172 before the initial 'theory' command.  Obsolete proof commands 'sect',
   172 before the initial 'theory' command.  Obsolete proof commands 'sect',
   173 'subsect', 'subsubsect' have been discontinued.  The Obsolete 'header'
   173 'subsect', 'subsubsect' have been discontinued.  The Obsolete 'header'
   174 command is still retained for some time, but should be replaced by
   174 command is still retained for some time, but should be replaced by
   175 'chapter', 'section' etc. Minor INCOMPATIBILITY.
   175 'chapter', 'section' etc. (using "isabelle update_header"). Minor
       
   176 INCOMPATIBILITY.
   176 
   177 
   177 * Official support for "tt" style variants, via \isatt{...} or
   178 * Official support for "tt" style variants, via \isatt{...} or
   178 \begin{isabellett}...\end{isabellett}. The somewhat fragile \verb or
   179 \begin{isabellett}...\end{isabellett}. The somewhat fragile \verb or
   179 verbatim environment of LaTeX is no longer used. This allows @{ML} etc.
   180 verbatim environment of LaTeX is no longer used. This allows @{ML} etc.
   180 as argument to other macros (such as footnotes).
   181 as argument to other macros (such as footnotes).