NEWS
changeset 61463 8e46cea6a45a
parent 61461 77c9643a6353
child 61471 9d4c08af61b8
     1.1 --- a/NEWS	Sat Oct 17 20:27:12 2015 +0200
     1.2 +++ b/NEWS	Sat Oct 17 21:15:10 2015 +0200
     1.3 @@ -57,19 +57,27 @@
     1.4  
     1.5  *** Document preparation ***
     1.6  
     1.7 -* Isabelle control symbols for markup and formatting:
     1.8 +* Commands 'paragraph' and 'subparagraph' provide additional section
     1.9 +headings. Thus there are 6 levels of standard headings, as in HTML.
    1.10 +
    1.11 +* Text is structured in paragraphs and nested lists, using notation that
    1.12 +is similar to Markdown. The control symbols for list items are as
    1.13 +follows:
    1.14 +
    1.15 +  \<^item>  itemize
    1.16 +  \<^enum>  enumerate
    1.17 +  \<^descr>  description
    1.18 +
    1.19 +* Text may contain control symbols for markup and formatting as follows:
    1.20  
    1.21    \<^noindent>   \noindent
    1.22    \<^smallskip>   \smallskip
    1.23    \<^medskip>   \medskip
    1.24    \<^bigskip>   \bigskip
    1.25  
    1.26 -* Paragraphs and nested lists may be specified similarly to Markdown,
    1.27 -with control symbols to indicate list items as follows:
    1.28 -
    1.29 -  \<^item>  itemize
    1.30 -  \<^enum>  enumerate
    1.31 -  \<^descr>  description
    1.32 +* Command 'text_raw' has been clarified: input text is processed as in
    1.33 +'text' (with antiquotations and control symbols). The key difference is
    1.34 +the lack of the surrounding isabelle markup environment in output.
    1.35  
    1.36  
    1.37  *** Isar ***