| Tue, 05 Jan 2021 22:28:33 +0100 |
wenzelm |
proper app directory setup, without macos_app component;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 21:46:35 +0100 |
wenzelm |
proper dock icon for macOS;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 20:53:57 +0100 |
wenzelm |
proper isabelle_home_prefix;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 20:29:57 +0100 |
wenzelm |
discontinued macOS JavaAppLauncher: re-use plain shell script;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 19:34:32 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 19:18:57 +0100 |
wenzelm |
tuned -- generate Info.plist in Isabelle/Scala;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 19:00:25 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 18:55:24 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 18:51:05 +0100 |
wenzelm |
updated according to ~~/etc/settings;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 18:27:43 +0100 |
wenzelm |
more portable component setup;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 18:21:14 +0100 |
wenzelm |
clarified quotes;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 17:40:51 +0100 |
wenzelm |
tuned -- generate script by Isabelle/Scala;
|
file |
diff |
annotate
|
| Wed, 07 Oct 2020 11:31:51 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 22:49:46 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 22:07:25 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 21:15:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2020 20:08:08 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Sat, 20 Jun 2020 19:05:56 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Sat, 13 Jun 2020 14:17:34 +0200 |
wenzelm |
clarified errors;
|
file |
diff |
annotate
|
| Wed, 10 Jun 2020 19:59:12 +0200 |
wenzelm |
updated to jedit-5.6pre1 (repository version 25349);
|
file |
diff |
annotate
|
| Tue, 07 Apr 2020 21:49:36 +0200 |
wenzelm |
clarified signature: more uniform treatment of stopped/interrupted state;
|
file |
diff |
annotate
|
| Mon, 30 Mar 2020 19:50:01 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Wed, 19 Feb 2020 15:40:28 +0100 |
wenzelm |
proper file name (amending ce3409dfb18c);
|
file |
diff |
annotate
|
| Sat, 11 Jan 2020 15:04:43 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 10 Jan 2020 16:37:47 +0100 |
wenzelm |
clarified script name;
|
file |
diff |
annotate
|
| Mon, 23 Dec 2019 15:24:14 +0100 |
wenzelm |
updated linux_app-20191223: x86_64-linux;
|
file |
diff |
annotate
|
| Wed, 11 Dec 2019 23:05:57 +0100 |
wenzelm |
tuned index.html;
|
file |
diff |
annotate
|
| Wed, 08 May 2019 16:54:50 +0200 |
wenzelm |
back to gz for linux (and macos) -- xz is too slow and cumbersome;
|
file |
diff |
annotate
|
| Fri, 03 May 2019 20:03:45 +0200 |
wenzelm |
back to gz for macos: more robust;
|
file |
diff |
annotate
|
| Fri, 03 May 2019 19:27:41 +0200 |
wenzelm |
proper arguments for library build;
|
file |
diff |
annotate
|
| Fri, 03 May 2019 19:25:25 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 28 Apr 2019 22:22:29 +0200 |
wenzelm |
tuned -- according to main website;
|
file |
diff |
annotate
|
| Sun, 28 Apr 2019 22:20:39 +0200 |
wenzelm |
more ambitious compression;
|
file |
diff |
annotate
|
| Wed, 10 Apr 2019 13:45:49 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Wed, 10 Apr 2019 13:43:23 +0200 |
wenzelm |
retain copy of required components;
|
file |
diff |
annotate
|
| Wed, 10 Apr 2019 12:38:27 +0200 |
wenzelm |
option for build_sessions;
|
file |
diff |
annotate
|
| Tue, 09 Apr 2019 17:06:15 +0200 |
wenzelm |
support for platform-specific builds on remote server;
|
file |
diff |
annotate
|
| Tue, 09 Apr 2019 15:09:09 +0200 |
wenzelm |
more robust: always (re)build platform application bundles;
|
file |
diff |
annotate
|
| Wed, 03 Apr 2019 21:11:21 +0200 |
wenzelm |
proper URL;
|
file |
diff |
annotate
|
| Wed, 06 Mar 2019 21:44:30 +0100 |
wenzelm |
proper option (amending cc0b3e177b49);
|
file |
diff |
annotate
|
| Mon, 04 Feb 2019 16:01:44 +0100 |
wenzelm |
more thorough File.set_executable, notably for Windows;
|
file |
diff |
annotate
|
| Sun, 23 Dec 2018 15:40:28 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Sun, 09 Dec 2018 12:09:54 +0100 |
wenzelm |
clarified settings and defaults;
|
file |
diff |
annotate
|
| Sat, 08 Dec 2018 23:53:43 +0100 |
wenzelm |
discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install;
|
file |
diff |
annotate
|
| Sat, 08 Dec 2018 14:58:56 +0100 |
wenzelm |
clarified gnutar options: more uniform owner;
|
file |
diff |
annotate
|
| Sat, 08 Dec 2018 14:28:14 +0100 |
wenzelm |
clarified application bundling: discontinued redundant archives;
|
file |
diff |
annotate
|
| Fri, 07 Dec 2018 12:25:31 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 06 Dec 2018 16:48:40 +0100 |
wenzelm |
clarified error;
|
file |
diff |
annotate
|
| Thu, 06 Dec 2018 16:40:56 +0100 |
wenzelm |
clarified defaults: explicit "rev" takes precedence;
|
file |
diff |
annotate
|
| Thu, 06 Dec 2018 15:44:31 +0100 |
wenzelm |
more explicit Components.Archive;
|
file |
diff |
annotate
|
| Thu, 06 Dec 2018 14:47:04 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Thu, 06 Dec 2018 14:25:27 +0100 |
wenzelm |
more explicit Platform.Family;
|
file |
diff |
annotate
|
| Wed, 05 Dec 2018 23:15:23 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 05 Dec 2018 22:46:44 +0100 |
wenzelm |
more direct File.executable operation: avoid external process (on Unix);
|
file |
diff |
annotate
|
| Wed, 05 Dec 2018 21:35:54 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Wed, 05 Dec 2018 21:15:18 +0100 |
wenzelm |
more direct File.link operation: avoid external process;
|
file |
diff |
annotate
|
| Wed, 05 Dec 2018 19:42:40 +0100 |
wenzelm |
eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala;
|
file |
diff |
annotate
|
| Tue, 04 Dec 2018 16:11:52 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 03 Dec 2018 21:32:08 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 03 Dec 2018 20:34:19 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 03 Dec 2018 20:04:48 +0100 |
wenzelm |
more explicit support for Isabelle system components;
|
file |
diff |
annotate
|
| Mon, 03 Dec 2018 12:30:37 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 02 Dec 2018 21:59:03 +0100 |
wenzelm |
manage components similar to makedist_bundle (still inactive);
|
file |
diff |
annotate
|
| Sun, 02 Dec 2018 17:53:47 +0100 |
wenzelm |
distribution_classpath as in makedist_bundle;
|
file |
diff |
annotate
|
| Sun, 02 Dec 2018 15:56:14 +0100 |
wenzelm |
clarified component settings;
|
file |
diff |
annotate
|
| Sun, 02 Dec 2018 14:12:08 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2018 14:00:22 +0100 |
wenzelm |
more explicit Isabelle_Fonts.Entry;
|
file |
diff |
annotate
|
| Mon, 22 Oct 2018 11:57:52 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Mon, 22 Oct 2018 11:55:39 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 22 Oct 2018 11:48:28 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Mon, 22 Oct 2018 11:45:56 +0200 |
wenzelm |
more robust: check archive ident;
|
file |
diff |
annotate
|
| Mon, 22 Oct 2018 11:34:38 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Sun, 21 Oct 2018 20:44:27 +0200 |
wenzelm |
more robust release.read_ident: eliminated odd state files ISABELLE_IDENT, ISABELLE_DIST;
|
file |
diff |
annotate
|
| Sun, 21 Oct 2018 19:39:46 +0200 |
wenzelm |
more portable tar_options;
|
file |
diff |
annotate
|
| Sun, 21 Oct 2018 19:34:11 +0200 |
wenzelm |
check (non-)executable files -- and eliminate them manually from the repository)
|
file |
diff |
annotate
|
| Sun, 21 Oct 2018 18:32:33 +0200 |
wenzelm |
eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting;
|
file |
diff |
annotate
|
| Sun, 21 Oct 2018 14:35:46 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 17 Aug 2018 20:44:45 +0200 |
wenzelm |
enforce ML_system_64: more robust as cold build, without command_timings;
|
file |
diff |
annotate
|
| Sat, 11 Nov 2017 16:01:02 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 27 Oct 2017 11:46:03 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 24 Oct 2017 10:43:23 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Fri, 13 Oct 2017 13:31:56 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 30 Sep 2017 18:53:38 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 30 Sep 2017 11:20:47 +0200 |
wenzelm |
"windows" application is always x86_64;
|
file |
diff |
annotate
|
| Sun, 14 May 2017 22:04:52 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 14 May 2017 21:54:35 +0200 |
wenzelm |
more systematic HTML.init_dir with css;
|
file |
diff |
annotate
|
| Thu, 04 May 2017 12:30:19 +0200 |
wenzelm |
prefer standard getOrElse;
|
file |
diff |
annotate
|
| Thu, 04 May 2017 12:23:14 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 28 Feb 2017 12:42:50 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2017 16:45:58 +0100 |
wenzelm |
clarified owner;
|
file |
diff |
annotate
|
| Sun, 22 Jan 2017 16:15:08 +0100 |
wenzelm |
insist in proper GNU tar, to avoid subtle semantic differences;
|
file |
diff |
annotate
|
| Mon, 16 Jan 2017 21:53:44 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 26 Oct 2016 14:52:41 +0200 |
wenzelm |
just one task to identify Isabelle + AFP repository snapshots and build release;
|
file |
diff |
annotate
|
| Mon, 24 Oct 2016 14:05:22 +0200 |
wenzelm |
more robust;
|
file |
diff |
annotate
|
| Sun, 23 Oct 2016 16:37:59 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Sun, 23 Oct 2016 15:25:48 +0200 |
wenzelm |
modernized;
|
file |
diff |
annotate
|
| Thu, 20 Oct 2016 11:05:16 +0200 |
wenzelm |
build HTML library in Isabelle/Scala;
|
file |
diff |
annotate
|
| Tue, 18 Oct 2016 16:03:30 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2016 13:07:54 +0200 |
wenzelm |
identify release;
|
file |
diff |
annotate
|
| Fri, 14 Oct 2016 20:07:22 +0200 |
wenzelm |
proper link;
|
file |
diff |
annotate
|
| Fri, 14 Oct 2016 20:03:07 +0200 |
wenzelm |
explicit website directory;
|
file |
diff |
annotate
|
| Fri, 14 Oct 2016 19:49:38 +0200 |
wenzelm |
proper path;
|
file |
diff |
annotate
|
| Fri, 14 Oct 2016 19:42:54 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Fri, 14 Oct 2016 19:34:30 +0200 |
wenzelm |
clarified platform families vs. bundles;
|
file |
diff |
annotate
|
| Fri, 14 Oct 2016 19:08:13 +0200 |
wenzelm |
website index for existing bundles;
|
file |
diff |
annotate
|
| Fri, 14 Oct 2016 17:35:10 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Fri, 14 Oct 2016 17:31:08 +0200 |
wenzelm |
added option -p for platform families;
|
file |
diff |
annotate
|
| Fri, 14 Oct 2016 16:53:26 +0200 |
wenzelm |
more formal Release_Info;
|
file |
diff |
annotate
|
| Thu, 13 Oct 2016 23:44:40 +0200 |
wenzelm |
replaced shell script by Isabelle/Scala;
|
file |
diff |
annotate
|