* Makarius <makar...@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' ? Tim.
signature.asc
Description: Digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev