Mon, 06 Aug 2012 21:11:42 +0200 | wenzelm | pass Isabelle/Scala system options into ML process of Isar tty or build jobs; | changeset | files |
Mon, 06 Aug 2012 17:54:05 +0200 | wenzelm | merged | changeset | files |
Mon, 06 Aug 2012 15:02:59 +0100 | paulson | switching from Emacs.app to Aquamacs.app | changeset | files |