| Sat, 20 Jan 2024 13:42:16 +0100 |
wenzelm |
proper output, following 2cd23d587db9;
|
file |
diff |
annotate
|
| Sat, 20 Jan 2024 13:10:51 +0100 |
wenzelm |
more accurate Isabelle versions;
|
file |
diff |
annotate
|
| Sat, 20 Jan 2024 13:01:30 +0100 |
wenzelm |
more accurate Ubuntu versions;
|
file |
diff |
annotate
|
| Sat, 25 Nov 2023 16:49:48 +0100 |
wenzelm |
removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf);
|
file |
diff |
annotate
|
| Wed, 13 Sep 2023 17:08:55 +0000 |
haftmann |
some hints on managed installations
|
file |
diff |
annotate
|
| Sat, 08 Apr 2023 19:32:09 +0200 |
wenzelm |
use "rsync --secluded-args" by default, discontinue obsolete option -P of sync tools;
|
file |
diff |
annotate
|
| Sat, 08 Apr 2023 16:37:54 +0200 |
wenzelm |
clarified underlying SSH session of "isabelle hg_sync" and "isabelle sync";
|
file |
diff |
annotate
|
| Tue, 07 Mar 2023 23:02:52 +0100 |
wenzelm |
renamed "isabelle build_docker" to "isabelle docker_build" (unrelated to "isabelle build");
|
file |
diff |
annotate
|
| Sat, 17 Sep 2022 17:27:51 +0200 |
wenzelm |
clarified Docker base image;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2022 22:33:14 +0200 |
wenzelm |
more robust: snap version of docker cannot access /tmp;
|
file |
diff |
annotate
|
| Tue, 13 Sep 2022 11:56:38 +0200 |
wenzelm |
let rsync re-use ssh connection via control path;
|
file |
diff |
annotate
|
| Tue, 13 Sep 2022 10:44:47 +0200 |
wenzelm |
clarified command-line;
|
file |
diff |
annotate
|
| Tue, 13 Sep 2022 09:59:08 +0200 |
wenzelm |
clarified default: do not override port from ssh_config, which could be different from 22;
|
file |
diff |
annotate
|
| Sat, 10 Sep 2022 15:48:36 +0200 |
wenzelm |
update to Isabelle2022 and Ubuntu 22.04;
|
file |
diff |
annotate
|
| Mon, 13 Jun 2022 11:48:46 +0200 |
wenzelm |
clarified options of "isabelle hg_sync" vs. "isabelle sync";
|
file |
diff |
annotate
|
| Mon, 13 Jun 2022 11:10:39 +0200 |
wenzelm |
clarified document structure;
|
file |
diff |
annotate
|
| Sat, 11 Jun 2022 22:55:21 +0200 |
wenzelm |
promote "isabelle sync" to regular user-space tool, with proper documentation;
|
file |
diff |
annotate
|
| Sun, 05 Jun 2022 19:19:55 +0200 |
wenzelm |
provide .hg_sync meta data;
|
file |
diff |
annotate
|
| 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 10:56:51 +0200 |
wenzelm |
clarified documentation: $ISABELLE_HOME is not a repository for regular releases;
|
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 20:57:10 +0200 |
wenzelm |
support option -r;
|
file |
diff |
annotate
|
| Sun, 29 May 2022 16:25:37 +0200 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| Sun, 27 Feb 2022 20:00:23 +0100 |
wenzelm |
misc tuning based on comments by Heiko Eißfeldt;
|
file |
diff |
annotate
|
| Mon, 21 Feb 2022 16:48:44 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Sat, 02 Oct 2021 20:44:14 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Wed, 14 Apr 2021 20:53:28 +0200 |
wenzelm |
eliminated perl: prefer elementary GNU printenv;
|
file |
diff |
annotate
|
| Mon, 05 Apr 2021 22:46:41 +0200 |
wenzelm |
discontinue old Ubuntu 18.04 LTS, e.g. it cannot build documentation "prog-prove";
|
file |
diff |
annotate
|
| Sat, 27 Mar 2021 19:26:34 +0100 |
wenzelm |
more robust: idempotent;
|
file |
diff |
annotate
|
| Sat, 27 Mar 2021 18:01:41 +0100 |
wenzelm |
clarified output;
|
file |
diff |
annotate
|
| Sat, 27 Mar 2021 17:13:15 +0100 |
wenzelm |
support repository archives (without full .hg directory);
|
file |
diff |
annotate
|
| Tue, 09 Mar 2021 17:15:21 +0100 |
wenzelm |
proper Isabelle/Scala tool --- avoid perl;
|
file |
diff |
annotate
|
| Thu, 21 Jan 2021 16:10:43 +0100 |
wenzelm |
support isabelle components -u and -x;
|
file |
diff |
annotate
|
| Mon, 18 Jan 2021 15:46:35 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Sat, 31 Oct 2020 21:02:45 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Mon, 28 Sep 2020 13:53:50 +0200 |
wenzelm |
clarified "isabelle logo", after discontinuation of DVI output (see 564012e31db1);
|
file |
diff |
annotate
|
| Sat, 26 Sep 2020 14:29:46 +0200 |
wenzelm |
discontinued obsolete DVI document format and related settings/tools;
|
file |
diff |
annotate
|
| Sat, 21 Mar 2020 20:57:34 +0100 |
wenzelm |
documentation for "isabelle build_docker";
|
file |
diff |
annotate
|
| Sat, 21 Mar 2020 16:23:20 +0100 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Thu, 19 Dec 2019 17:29:35 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Thu, 19 Dec 2019 17:26:06 +0100 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| Thu, 19 Dec 2019 16:49:29 +0100 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| Wed, 06 Jun 2018 14:16:52 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Sun, 20 May 2018 11:57:17 +0200 |
wenzelm |
prefer HTTPS;
|
file |
diff |
annotate
|
| Sat, 19 May 2018 15:45:45 +0200 |
wenzelm |
clarified store directories;
|
file |
diff |
annotate
|
| Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
| Tue, 03 Oct 2017 17:35:16 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2016 17:53:55 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Thu, 10 Mar 2016 12:11:50 +0100 |
wenzelm |
isabelle_process is superseded by "isabelle process" tool;
|
file |
diff |
annotate
|
| Tue, 08 Mar 2016 20:02:46 +0100 |
wenzelm |
back to external line editor, due to problems of JLine with multithreading of in vs. out;
|
file |
diff |
annotate
|
| Tue, 08 Mar 2016 18:15:16 +0100 |
wenzelm |
isabelle console is based on Isabelle/Scala;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2016 21:53:21 +0100 |
wenzelm |
discontinued cd, pwd;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2016 22:16:52 +0100 |
wenzelm |
isabelle console -r" helps to bootstrap Isabelle/Pure;
|
file |
diff |
annotate
|
| Sun, 28 Feb 2016 15:43:56 +0100 |
wenzelm |
removed pointless "isabelle yxml";
|
file |
diff |
annotate
|
| Thu, 31 Dec 2015 19:53:19 +0100 |
wenzelm |
discontinued documentation of old browser;
|
file |
diff |
annotate
|
| Fri, 13 Nov 2015 14:49:30 +0100 |
wenzelm |
more uniform jEdit properties;
|
file |
diff |
annotate
|
| Wed, 04 Nov 2015 20:18:46 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Thu, 22 Oct 2015 21:16:49 +0200 |
wenzelm |
more control symbols;
|
file |
diff |
annotate
|