src/Pure/Tools/main.scala
Tue, 16 Jul 2013 14:10:10 +0200 wenzelm more self-contained application, with side-entry for init;
Thu, 04 Apr 2013 18:06:48 +0200 wenzelm tuned signature -- concentrate GUI tools;
Thu, 04 Apr 2013 17:58:47 +0200 wenzelm tuned signature -- concentrate GUI tools;
Thu, 10 Jan 2013 15:45:27 +0100 wenzelm prefer system build mode in main application wrappers, to produce heaps insided distribution directory;
Wed, 02 Jan 2013 18:03:38 +0100 wenzelm moved files;
less more (0) tip