*** Document preparation ***
* Document headings work uniformly via the commands 'chapter',
'section', 'subsection', 'subsubsection' -- in any context, even
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. (using "isabelle update_header"). Minor
INCOMPATIBILITY.
This refers to Isabelle/c5e1cce7ace3 with follow-up changes until
5b7a9633cfa8.
The old header command has a very long history, which demanded odd LaTeX
tricks to turn it into other personalities. Direct use of 'chapter' etc.
now works without further ado, also in the Sidekick document overview.
Makarius
----------------------------------------------------------------------------
http://stop-ttip.org 774,989 people so far
----------------------------------------------------------------------------
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
