src/Pure/System/platform.scala
Thu, 22 Apr 2021 23:40:22 +0200 wenzelm fast approximation of test for process group (NB: initial process might already be terminated, while background processes are still running);
Tue, 26 Jan 2021 22:46:06 +0100 wenzelm more uniform directory layout for macOS;
Sat, 03 Oct 2020 19:56:02 +0200 wenzelm detect/guess arm32 platform (unsupported);
Wed, 30 Sep 2020 13:20:33 +0000 wenzelm detect arm64-linux platform;
Thu, 10 Sep 2020 21:14:50 +0200 wenzelm clarified modules;
Thu, 10 Sep 2020 21:07:58 +0200 wenzelm more uniform JVM vs. ML status widget;
Thu, 13 Aug 2020 15:11:30 +0200 wenzelm support JVM runtime statistics;
Wed, 15 Jan 2020 19:54:50 +0100 wenzelm misc tuning, following hint by IntelliJ;
Wed, 23 Jan 2019 20:45:03 +0100 wenzelm clarified signature;
Thu, 06 Dec 2018 14:25:27 +0100 wenzelm more explicit Platform.Family;
Wed, 03 Oct 2018 12:27:39 +0200 wenzelm misc tuning and modernization;
Fri, 11 Nov 2016 15:24:56 +0100 wenzelm clarified platform selection;
Mon, 24 Oct 2016 12:16:12 +0200 wenzelm discontinued unused / untested distinction of separate PIDE modules;
Fri, 21 Aug 2015 20:47:53 +0200 wenzelm more version information;
Thu, 20 Feb 2014 14:36:17 +0100 wenzelm tuned imports;
Thu, 12 Sep 2013 18:50:41 +0200 wenzelm more robust System.getProperty with default;
Thu, 04 Apr 2013 18:06:48 +0200 wenzelm tuned signature -- concentrate GUI tools;
Wed, 04 Jan 2012 15:41:18 +0100 wenzelm updated version information;
Tue, 29 Nov 2011 21:29:53 +0100 wenzelm separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
Mon, 28 Nov 2011 22:18:19 +0100 wenzelm explicit indication of modules for independent Scala library;
Thu, 23 Jun 2011 14:52:32 +0200 wenzelm explicit import java.lang.System to prevent odd scope problems;
Wed, 22 Dec 2010 12:05:17 +0100 wenzelm more explicit jvm_name;
Mon, 10 May 2010 17:37:32 +0200 wenzelm more convenient look-and-feel setup;
Mon, 19 Apr 2010 17:27:41 +0200 wenzelm check JVM platform at most once -- still non-strict to prevent potential failure during initialization of object Platform;
Sat, 17 Apr 2010 21:40:29 +0200 wenzelm system properties determine the JVM platform, not the Isabelle one;
Fri, 05 Feb 2010 19:48:13 +0100 wenzelm try "GTK+" as well -- note that "Nimbus" is unavailable in versions of OpenJDK;
Sun, 28 Jun 2009 16:46:00 +0200 wenzelm sane platform look-and-feel;
Sun, 28 Jun 2009 14:27:42 +0200 wenzelm moved platform identification to platform.scala;
less more (0) tip