src/Pure/Admin/build_release.scala
Wed, 06 Jan 2021 14:03:49 +0100 wenzelm clarified Info.plist;
Wed, 06 Jan 2021 12:43:51 +0100 wenzelm recovered file-type icons from macos_app;
Tue, 05 Jan 2021 22:40:58 +0100 wenzelm recovered bundle icons (not application) from macos_app;
Tue, 05 Jan 2021 22:28:33 +0100 wenzelm proper app directory setup, without macos_app component;
Tue, 05 Jan 2021 21:46:35 +0100 wenzelm proper dock icon for macOS;
Tue, 05 Jan 2021 20:53:57 +0100 wenzelm proper isabelle_home_prefix;
Tue, 05 Jan 2021 20:29:57 +0100 wenzelm discontinued macOS JavaAppLauncher: re-use plain shell script;
Tue, 05 Jan 2021 19:34:32 +0100 wenzelm tuned whitespace;
Tue, 05 Jan 2021 19:18:57 +0100 wenzelm tuned -- generate Info.plist in Isabelle/Scala;
Tue, 05 Jan 2021 19:00:25 +0100 wenzelm tuned signature;
Tue, 05 Jan 2021 18:55:24 +0100 wenzelm tuned signature;
Tue, 05 Jan 2021 18:51:05 +0100 wenzelm updated according to ~~/etc/settings;
Tue, 05 Jan 2021 18:27:43 +0100 wenzelm more portable component setup;
Tue, 05 Jan 2021 18:21:14 +0100 wenzelm clarified quotes;
Tue, 05 Jan 2021 17:40:51 +0100 wenzelm tuned -- generate script by Isabelle/Scala;
Wed, 07 Oct 2020 11:31:51 +0200 wenzelm tuned;
Mon, 05 Oct 2020 22:49:46 +0200 wenzelm clarified signature;
Mon, 05 Oct 2020 22:07:25 +0200 wenzelm clarified signature;
Mon, 05 Oct 2020 21:15:58 +0200 wenzelm clarified signature;
Tue, 29 Sep 2020 20:08:08 +0200 wenzelm clarified names;
Sat, 20 Jun 2020 19:05:56 +0200 wenzelm tuned output;
Sat, 13 Jun 2020 14:17:34 +0200 wenzelm clarified errors;
Wed, 10 Jun 2020 19:59:12 +0200 wenzelm updated to jedit-5.6pre1 (repository version 25349);
Tue, 07 Apr 2020 21:49:36 +0200 wenzelm clarified signature: more uniform treatment of stopped/interrupted state;
Mon, 30 Mar 2020 19:50:01 +0200 wenzelm clarified signature;
Fri, 27 Mar 2020 22:01:27 +0100 wenzelm misc tuning based on hints by IntelliJ IDEA;
Thu, 12 Mar 2020 21:25:53 +0100 wenzelm more usable defaults for high resolution on Linux, where the desktop environment usually lacks automatic scaling;
Wed, 19 Feb 2020 15:40:28 +0100 wenzelm proper file name (amending ce3409dfb18c);
Sat, 11 Jan 2020 15:04:43 +0100 wenzelm tuned;
Fri, 10 Jan 2020 16:37:47 +0100 wenzelm clarified script name;
Mon, 23 Dec 2019 15:24:14 +0100 wenzelm updated linux_app-20191223: x86_64-linux;
Wed, 11 Dec 2019 23:05:57 +0100 wenzelm tuned index.html;
Wed, 08 May 2019 16:54:50 +0200 wenzelm back to gz for linux (and macos) -- xz is too slow and cumbersome;
Fri, 03 May 2019 20:03:45 +0200 wenzelm back to gz for macos: more robust;
Fri, 03 May 2019 19:27:41 +0200 wenzelm proper arguments for library build;
Fri, 03 May 2019 19:25:25 +0200 wenzelm tuned;
Sun, 28 Apr 2019 22:22:29 +0200 wenzelm tuned -- according to main website;
Sun, 28 Apr 2019 22:20:39 +0200 wenzelm more ambitious compression;
Wed, 10 Apr 2019 13:45:49 +0200 wenzelm tuned message;
Wed, 10 Apr 2019 13:43:23 +0200 wenzelm retain copy of required components;
Wed, 10 Apr 2019 12:38:27 +0200 wenzelm option for build_sessions;
Tue, 09 Apr 2019 17:06:15 +0200 wenzelm support for platform-specific builds on remote server;
Tue, 09 Apr 2019 15:09:09 +0200 wenzelm more robust: always (re)build platform application bundles;
Wed, 03 Apr 2019 21:11:21 +0200 wenzelm proper URL;
Wed, 06 Mar 2019 21:44:30 +0100 wenzelm proper option (amending cc0b3e177b49);
Mon, 04 Feb 2019 16:01:44 +0100 wenzelm more thorough File.set_executable, notably for Windows;
Sun, 23 Dec 2018 15:40:28 +0100 wenzelm tuned message;
Sun, 09 Dec 2018 12:09:54 +0100 wenzelm clarified settings and defaults;
Sat, 08 Dec 2018 23:53:43 +0100 wenzelm discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install;
Sat, 08 Dec 2018 14:58:56 +0100 wenzelm clarified gnutar options: more uniform owner;
Sat, 08 Dec 2018 14:28:14 +0100 wenzelm clarified application bundling: discontinued redundant archives;
Fri, 07 Dec 2018 12:25:31 +0100 wenzelm tuned;
Thu, 06 Dec 2018 16:48:40 +0100 wenzelm clarified error;
Thu, 06 Dec 2018 16:40:56 +0100 wenzelm clarified defaults: explicit "rev" takes precedence;
Thu, 06 Dec 2018 15:44:31 +0100 wenzelm more explicit Components.Archive;
Thu, 06 Dec 2018 14:47:04 +0100 wenzelm tuned message;
Thu, 06 Dec 2018 14:25:27 +0100 wenzelm more explicit Platform.Family;
Wed, 05 Dec 2018 23:15:23 +0100 wenzelm tuned;
Wed, 05 Dec 2018 22:46:44 +0100 wenzelm more direct File.executable operation: avoid external process (on Unix);
Wed, 05 Dec 2018 21:35:54 +0100 wenzelm tuned messages;
less more (0) -100 -60 tip