equal
deleted
inserted
replaced
87 timing information. |
87 timing information. |
88 |
88 |
89 * Action isabelle.reset-font-size resets main text area font size |
89 * Action isabelle.reset-font-size resets main text area font size |
90 according to Isabelle/Scala plugin option "jedit_font_reset_size" |
90 according to Isabelle/Scala plugin option "jedit_font_reset_size" |
91 (cf. keyboard shortcut C+0). |
91 (cf. keyboard shortcut C+0). |
|
92 |
|
93 * More reactive and less intrusive completion. Plain words need to be |
|
94 at least 3 characters long to be completed (was 2 before). Symbols |
|
95 are only completed in backslash forms, e.g. \forall or \<forall> that |
|
96 both produce the Isabelle symbol \<forall> in its Unicode rendering. |
92 |
97 |
93 |
98 |
94 *** Pure *** |
99 *** Pure *** |
95 |
100 |
96 * Type theory is now immutable, without any special treatment of |
101 * Type theory is now immutable, without any special treatment of |