[isabelle-dev] NEWS: uniform document heading commands

Timothy Bourke tim at tbrk.org
Mon Nov 3 09:33:00 CET 2014

* Makarius <makarius at sketis.net> [2014-11-02 20:24 +0100]:
> *** Document preparation ***
> * Document headings work uniformly via the commands 'chapter',
> 'section', 'subsection', 'subsubsection' -- in any context, even
> before the initial 'theory' command.

Very nice. Thank you.

Would it also be reasonable to allow 'text' before an initial 'theory' ?


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 473 bytes
Desc: Digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20141103/45bfbf5c/attachment.sig>

More information about the isabelle-dev mailing list