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 |