| Thu, 17 Dec 2009 20:25:39 +0100 | wenzelm | simplified Isabelle_Process.Result; | changeset | files |
| Wed, 16 Dec 2009 21:11:04 +0100 | wenzelm | explicit object Session.Global_Settings; | changeset | files |
| Wed, 16 Dec 2009 14:40:31 +0100 | wenzelm | actually use JEDIT_JAVA_OPTIONS from settings, not ..._ARGS; | changeset | files |
| Tue, 15 Dec 2009 20:44:59 +0100 | wenzelm | some explicit Swing_Thread guards; | changeset | files |
| Tue, 15 Dec 2009 20:20:07 +0100 | wenzelm | direct apply for Document_Model and Document_View; | changeset | files |
| Tue, 15 Dec 2009 20:15:54 +0100 | wenzelm | need to handle EditPaneUpdate.CREATED explicitly, not included in EditPaneUpdate.BUFFER_CHANGED; | changeset | files |
| Tue, 15 Dec 2009 19:53:35 +0100 | wenzelm | merged | changeset | files |