equal
deleted
inserted
replaced
105 process, without requiring old-fashioned command-line invocation of |
105 process, without requiring old-fashioned command-line invocation of |
106 "isabelle jedit -m MODE". |
106 "isabelle jedit -m MODE". |
107 |
107 |
108 * More support for remote files (e.g. http) using standard Java |
108 * More support for remote files (e.g. http) using standard Java |
109 networking operations instead of jEdit virtual file-systems. |
109 networking operations instead of jEdit virtual file-systems. |
|
110 |
|
111 * Empty editors buffers that are no longer required (e.g.\ via theory |
|
112 imports) are automatically removed from the document model. |
110 |
113 |
111 * Improved Console/Scala plugin: more uniform scala.Console output, |
114 * Improved Console/Scala plugin: more uniform scala.Console output, |
112 more robust treatment of threads and interrupts. |
115 more robust treatment of threads and interrupts. |
113 |
116 |
114 * Improved management of dockable windows: clarified keyboard focus |
117 * Improved management of dockable windows: clarified keyboard focus |