equal
deleted
inserted
replaced
102 |
102 |
103 * The Theories dockable indicates the overall status of checking of each |
103 * The Theories dockable indicates the overall status of checking of each |
104 entry. When all forked tasks of a theory are finished, the border is |
104 entry. When all forked tasks of a theory are finished, the border is |
105 painted with thick lines; remaining errors in this situation are |
105 painted with thick lines; remaining errors in this situation are |
106 represented by a different border color. |
106 represented by a different border color. |
|
107 |
|
108 * The main Isabelle/jEdit plugin may be restarted manually (using the |
|
109 jEdit Plugin Manager), as long as the "Isabelle Base" plugin remains |
|
110 enabled at all times. |
107 |
111 |
108 * Update to jedit-5.4.0. |
112 * Update to jedit-5.4.0. |
109 |
113 |
110 |
114 |
111 *** Pure *** |
115 *** Pure *** |