equal
deleted
inserted
replaced
90 storage directory for "isabelle build". Option "-n" is now clearly |
90 storage directory for "isabelle build". Option "-n" is now clearly |
91 separated from option "-s". |
91 separated from option "-s". |
92 |
92 |
93 * OpenJDK 11 has quite different font rendering, with better glyph |
93 * OpenJDK 11 has quite different font rendering, with better glyph |
94 shapes and improved sub-pixel anti-aliasing. In some situations results |
94 shapes and improved sub-pixel anti-aliasing. In some situations results |
95 might be *worse* than Oracle Java 8, though. |
95 might be *worse* than Oracle Java 8, though. A decent HiDPI display is |
|
96 recommended. |
96 |
97 |
97 |
98 |
98 *** Document preparation *** |
99 *** Document preparation *** |
99 |
100 |
100 * Document markers are formal comments of the form \<^marker>\<open>marker_body\<close> that |
101 * Document markers are formal comments of the form \<^marker>\<open>marker_body\<close> that |