| Tue, 31 May 2022 13:14:46 +0200 | wenzelm | support explicit SSH port; | file | diff | annotate |
| Mon, 30 May 2022 11:51:34 +0200 | wenzelm | clarified option -T; | file | diff | annotate |
| Mon, 30 May 2022 11:02:13 +0200 | wenzelm | tuned names; | file | diff | annotate |
| Mon, 30 May 2022 10:52:00 +0200 | wenzelm | clarified command-line options; | file | diff | annotate |
| Mon, 30 May 2022 10:31:56 +0200 | wenzelm | support thorough check of file content; | file | diff | annotate |
| Sun, 29 May 2022 23:49:58 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 29 May 2022 21:32:28 +0200 | wenzelm | more robust: local repository required; | file | diff | annotate |
| Sun, 29 May 2022 20:57:10 +0200 | wenzelm | support option -r; | file | diff | annotate |
| Sun, 29 May 2022 17:26:38 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 29 May 2022 16:25:37 +0200 | wenzelm | more documentation; | file | diff | annotate |
| Sun, 29 May 2022 15:16:49 +0200 | wenzelm | support filter rules, notably "protect"; | file | diff | annotate |
| Sun, 29 May 2022 13:13:45 +0200 | wenzelm | support for "isabelle hg_sync"; | file | diff | annotate |
| Sun, 29 May 2022 11:45:32 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Sat, 28 May 2022 22:33:11 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 01 Apr 2022 23:19:12 +0200 | wenzelm | tuned formatting; | file | diff | annotate |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Sun, 16 May 2021 13:34:27 +0200 | wenzelm | tuned signature --- following hints by IntelliJ IDEA; | file | diff | annotate |
| Tue, 04 May 2021 12:54:54 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 29 Apr 2021 22:39:33 +0200 | wenzelm | clarified signature: more operations; | 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, 31 Mar 2021 23:13:13 +0200 | wenzelm | clarified: follow "isabelle version -t"; | 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 |
| Sat, 27 Mar 2021 18:15:19 +0100 | wenzelm | more robust invocation of hg; | file | diff | annotate |
| Thu, 04 Mar 2021 15:41:46 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Sat, 28 Nov 2020 21:56:24 +0100 | wenzelm | added document antiquotation @{tool}; | file | diff | annotate |
| Mon, 05 Oct 2020 21:15:58 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 07 Apr 2020 21:49:36 +0200 | wenzelm | clarified signature: more uniform treatment of stopped/interrupted state; | file | diff | annotate |