equal
deleted
inserted
replaced
88 selections. Cf. keyboard shortcuts C+e DOWN/UP/RIGHT/LEFT. |
88 selections. Cf. keyboard shortcuts C+e DOWN/UP/RIGHT/LEFT. |
89 |
89 |
90 * Actions isabelle.increase-font-size and isabelle.decrease-font-size |
90 * Actions isabelle.increase-font-size and isabelle.decrease-font-size |
91 adjust the main text area font size, and its derivatives for output, |
91 adjust the main text area font size, and its derivatives for output, |
92 tooltips etc. Cf. keyboard shortcuts C-PLUS and C-MINUS. |
92 tooltips etc. Cf. keyboard shortcuts C-PLUS and C-MINUS. |
|
93 |
|
94 * Implicit check and build dialog of the specified logic session |
|
95 image. For example, HOL, HOLCF, HOL-Nominal can be produced on |
|
96 demand, without bundling big platform-dependent heap images in the |
|
97 Isabelle distribution. |
93 |
98 |
94 * Uniform Java 7 platform on Linux, Mac OS X, Windows: recent updates |
99 * Uniform Java 7 platform on Linux, Mac OS X, Windows: recent updates |
95 from Oracle provide better multi-platform experience. This version is |
100 from Oracle provide better multi-platform experience. This version is |
96 now bundled exclusively with Isabelle. |
101 now bundled exclusively with Isabelle. |
97 |
102 |