| Fri, 01 Feb 2013 21:58:00 +0100 | wenzelm | provide jdk-7u13 (still inactive, potentially pointless); | changeset | files |
| Fri, 01 Feb 2013 21:40:15 +0100 | wenzelm | allow relative directory; | changeset | files |
| Fri, 01 Feb 2013 21:31:21 +0100 | wenzelm | standardized isabelle-server.in.tum.de; | changeset | files |
| Thu, 31 Jan 2013 22:21:05 +0100 | wenzelm | some native Mac OS X support, notably quit_handler (important for dialog on unsaved changes); | changeset | files |
| Mon, 28 Jan 2013 23:56:13 +0100 | traytel | made SML/NJ happy | changeset | files |
| Mon, 28 Jan 2013 22:37:58 +0100 | wenzelm | more portable alternative shortcuts on numeric keypad; | changeset | files |
| Mon, 28 Jan 2013 17:37:09 +0100 | wenzelm | more generic reference to polyml component; | changeset | files |