more usable defaults for high resolution on Linux, where the desktop environment usually lacks automatic scaling;

proper file name (amending ce3409dfb18c);

tuned;

clarified script name;

--HG--
rename : Admin/Linux/Isabelle.run => Admin/Linux/Isabelle_app

updated linux_app-20191223: x86_64-linux;
clarified location of lib/scripts/Isabelle.run;

tuned index.html;

back to gz for linux (and macos) -- xz is too slow and cumbersome;

back to gz for macos: more robust;

proper arguments for library build;

tuned;

tuned -- according to main website;

more ambitious compression;

tuned message;

retain copy of required components;

option for build_sessions;

support for platform-specific builds on remote server;

more robust: always (re)build platform application bundles;

proper URL;

proper option (amending cc0b3e177b49);

more thorough File.set_executable, notably for Windows;

tuned message;

clarified settings and defaults;

discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install;

clarified gnutar options: more uniform owner;

clarified application bundling: discontinued redundant archives;

tuned;

clarified error;

clarified defaults: explicit "rev" takes precedence;

more explicit Components.Archive;
support additional components, which also enforces clean bundling;

tuned message;

more explicit Platform.Family;

tuned;

more direct File.executable operation: avoid external process (on Unix);

tuned messages;

more direct File.link operation: avoid external process;

eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala;
more robust components and classpath via Other_Isabelle;
updated macos_app to include full dmg template;
misc tuning and clarification;

--HG--
rename : Admin/MacOS/Info.plist-part1 => Admin/MacOS/Info.plist

tuned;

clarified signature;

clarified signature;

more explicit support for Isabelle system components;
activate_bundled_components: check component dir as in makedist_bundle;

tuned;

manage components similar to makedist_bundle (still inactive);

distribution_classpath as in makedist_bundle;

clarified component settings;

unused;

more explicit Isabelle_Fonts.Entry;
more robust font embedding into PDF and HTML;

tuned messages;

tuned signature;

tuned messages;

more robust: check archive ident;

misc tuning and clarification;

more robust release.read_ident: eliminated odd state files ISABELLE_IDENT, ISABELLE_DIST;

more portable tar_options;

check (non-)executable files -- and eliminate them manually from the repository)

eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting;
eliminated "isabelle news";
roper title in NEWS.html;
more robust build of documentation, using proper Other_Isabelle settings: avoid conflict with enclosing ISABELLE_OCAML / ISABELLE_GHC;
misc tuning and clarification;

tuned signature;

enforce ML_system_64: more robust as cold build, without command_timings;

tuned signature;

tuned;

tuned output;

tuned;

tuned;

"windows" application is always x86_64;

tuned signature;

more systematic HTML.init_dir with css;

prefer standard getOrElse;

tuned;

tuned message;

clarified owner;

insist in proper GNU tar, to avoid subtle semantic differences;

tuned signature;

just one task to identify Isabelle + AFP repository snapshots and build release;
report AFP changeset id on website;

more robust;

misc tuning and clarification;

modernized;

build HTML library in Isabelle/Scala;

clarified modules;

identify release;

proper link;

explicit website directory;

proper path;

tuned messages;

clarified platform families vs. bundles;

website index for existing bundles;

tuned messages;

added option -p for platform families;
actually accept option -r;

more formal Release_Info;
more incremental treatment of additional builds (bundles, library);
tuned;

replaced shell script by Isabelle/Scala;