equal
deleted
inserted
replaced
62 \<^noindent> \noindent |
62 \<^noindent> \noindent |
63 \<^smallskip> \smallskip |
63 \<^smallskip> \smallskip |
64 \<^medskip> \medskip |
64 \<^medskip> \medskip |
65 \<^bigskip> \bigskip |
65 \<^bigskip> \bigskip |
66 |
66 |
67 \<^item> \item (itemize) |
67 * Paragraphs and nested lists may be specified similarly to Markdown, |
68 \<^enum> \item (enumerate) |
68 with control symbols to indicate list items as follows: |
69 \<^descr> \item (description) |
69 |
|
70 \<^item> itemize |
|
71 \<^enum> enumerate |
|
72 \<^descr> description |
70 |
73 |
71 |
74 |
72 *** Isar *** |
75 *** Isar *** |
73 |
76 |
74 * Command 'obtain' binds term abbreviations (via 'is' patterns) in the |
77 * Command 'obtain' binds term abbreviations (via 'is' patterns) in the |