equal
deleted
inserted
replaced
821 * The main Isabelle executable is managed as single-instance Desktop |
821 * The main Isabelle executable is managed as single-instance Desktop |
822 application uniformly on all platforms: Linux, Windows, Mac OS X. |
822 application uniformly on all platforms: Linux, Windows, Mac OS X. |
823 |
823 |
824 |
824 |
825 *** Document preparation *** |
825 *** Document preparation *** |
|
826 |
|
827 * Text and ML antiquotation @{locale} for locales, similar to existing |
|
828 antiquotations for classes. |
826 |
829 |
827 * Commands 'paragraph' and 'subparagraph' provide additional section |
830 * Commands 'paragraph' and 'subparagraph' provide additional section |
828 headings. Thus there are 6 levels of standard headings, as in HTML. |
831 headings. Thus there are 6 levels of standard headings, as in HTML. |
829 |
832 |
830 * Command 'text_raw' has been clarified: input text is processed as in |
833 * Command 'text_raw' has been clarified: input text is processed as in |