| Wed, 05 May 2021 14:07:25 +0200 |
wenzelm |
support for existing release archive;
|
file |
diff |
annotate
|
| Tue, 04 May 2021 20:40:09 +0200 |
wenzelm |
more website content;
|
file |
diff |
annotate
|
| Tue, 04 May 2021 20:02:08 +0200 |
wenzelm |
misc tuning and clarification: more explicit types Release_Context, Release_Archive;
|
file |
diff |
annotate
|
| Thu, 29 Apr 2021 15:49:04 +0200 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
| Wed, 28 Apr 2021 23:20:05 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 28 Apr 2021 14:03:26 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 28 Apr 2021 13:03:09 +0200 |
wenzelm |
clarified command-line, following other build_XYZ tools;
|
file |
diff |
annotate
|
| Wed, 14 Apr 2021 21:15:24 +0200 |
wenzelm |
proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);
|
file |
diff |
annotate
|
| Thu, 01 Apr 2021 19:14:43 +0200 |
wenzelm |
clarified README;
|
file |
diff |
annotate
|
| Thu, 01 Apr 2021 19:01:19 +0200 |
wenzelm |
clarified HTML template (see also 04cb7e02ca38): avoid odd patching of sources;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 23:45:16 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 22:58:17 +0200 |
wenzelm |
further clarification of Isabelle distribution identification -- avoid odd patching of sources;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 22:10:56 +0200 |
wenzelm |
tuned signature -- more explicit types;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 21:44:29 +0200 |
wenzelm |
more robust and uniform ISABELLE_TAGS;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 18:12:46 +0200 |
wenzelm |
clarified ISABELLE_ID: distribution vs. hg archive vs. hg repos;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 17:15:54 +0200 |
wenzelm |
simplified release status (again), in contrast to a43898f76ae9;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 18:04:29 +0100 |
wenzelm |
clarified modules: more like ML;
|
file |
diff |
annotate
|
| Wed, 27 Jan 2021 14:34:14 +0100 |
wenzelm |
proper Isabelle environment (amending 31fbde3baa97);
|
file |
diff |
annotate
|
| Tue, 26 Jan 2021 22:46:06 +0100 |
wenzelm |
more uniform directory layout for macOS;
|
file |
diff |
annotate
|
| Tue, 19 Jan 2021 14:04:31 +0100 |
wenzelm |
more systematic java-gui-setup, also for "isabelle jedit" command-line tool;
|
file |
diff |
annotate
|
| Tue, 19 Jan 2021 13:26:38 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 18 Jan 2021 19:25:20 +0100 |
wenzelm |
workaround for Big Sur fullscreen mode: better support for JDialog windows (e.g. Find on top of main View);
|
file |
diff |
annotate
|
| Mon, 18 Jan 2021 18:05:29 +0100 |
wenzelm |
clarified app identification, potentially relevant for macOS "defaults";
|
file |
diff |
annotate
|
| Sat, 09 Jan 2021 00:11:52 +0100 |
wenzelm |
clarified default L&F;
|
file |
diff |
annotate
|
| Thu, 07 Jan 2021 13:28:13 +0100 |
wenzelm |
clarified dock icon: setup earlier on startup;
|
file |
diff |
annotate
|
| Wed, 06 Jan 2021 14:30:58 +0100 |
wenzelm |
proper LSMinimumSystemVersion for zulu-jdk-15;
|
file |
diff |
annotate
|
| Wed, 06 Jan 2021 14:03:49 +0100 |
wenzelm |
clarified Info.plist;
|
file |
diff |
annotate
|
| Wed, 06 Jan 2021 12:43:51 +0100 |
wenzelm |
recovered file-type icons from macos_app;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2021 22:40:58 +0100 |
wenzelm |
recovered bundle icons (not application) from macos_app;
|
file |
diff |
annotate
|
| 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
|