| Thu, 04 Apr 2013 18:44:22 +0200 | wenzelm | more conventional synchronized access to Options_Variable -- avoid Swing_Thread getting in the way, which might be absent in some environments (e.g. SWT); | file | diff | annotate |
| Mon, 14 Jan 2013 22:24:57 +0100 | wenzelm | Isabelle_System.mkdirs with explicit error checking (in accordance to ML version), e.g. relevant with read-only DMG file-system on Mac OS X; | file | diff | annotate |
| Wed, 09 Jan 2013 21:21:41 +0100 | wenzelm | create required PREFS_DIR; | file | diff | annotate |
| Fri, 30 Nov 2012 21:30:24 +0100 | wenzelm | renamed dockable "Prover Session" to "Theories"; | file | diff | annotate |
| Sun, 25 Nov 2012 21:23:20 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 20 Oct 2012 15:46:48 +0200 | wenzelm | more explicit auxiliary classes to avoid warning "reflective access of structural type member method" of scala-2.10.0-RC1; | file | diff | annotate |