src/Pure/build
Mon, 29 Feb 2016 16:31:50 +0100 wenzelm obsolete;
Mon, 29 Feb 2016 16:29:52 +0100 wenzelm tuned;
Mon, 29 Feb 2016 16:24:20 +0100 wenzelm proper exit as in Scala version (in contrast to a45ba78abcc1);
Mon, 29 Feb 2016 16:12:47 +0100 wenzelm save heap more directly;
Wed, 06 Jan 2016 10:20:33 +0100 wenzelm clarified ROOT files;
Wed, 23 Dec 2015 23:09:13 +0100 wenzelm clarified directory structure;
Mon, 17 Aug 2015 23:45:12 +0200 wenzelm basic setup for native Windows (RAW session without image);
less more (0) -10 -7 tip