equal
deleted
inserted
replaced
63 |
63 |
64 *** Document preparation *** |
64 *** Document preparation *** |
65 |
65 |
66 * HTML presentation uses the standard IsabelleText font and Unicode |
66 * HTML presentation uses the standard IsabelleText font and Unicode |
67 rendering of Isabelle symbols like Isabelle/Scala/jEdit. The former |
67 rendering of Isabelle symbols like Isabelle/Scala/jEdit. The former |
68 print mode "HTML" looses its special meaning. |
68 print mode "HTML" loses its special meaning. |
69 |
69 |
70 * Commands 'paragraph' and 'subparagraph' provide additional section |
70 * Commands 'paragraph' and 'subparagraph' provide additional section |
71 headings. Thus there are 6 levels of standard headings, as in HTML. |
71 headings. Thus there are 6 levels of standard headings, as in HTML. |
72 |
72 |
73 * Text is structured in paragraphs and nested lists, using notation that |
73 * Text is structured in paragraphs and nested lists, using notation that |