| 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 |