| Wed, 25 Jan 2023 20:52:36 +0100 |
wenzelm |
tuned message, following "isabelle components -a";
|
changeset |
files
|
| Wed, 25 Jan 2023 20:42:24 +0100 |
wenzelm |
clean components more accurately: purge other platforms or archives;
|
changeset |
files
|
| Wed, 25 Jan 2023 20:38:38 +0100 |
wenzelm |
more operations for SSH.System;
|
changeset |
files
|
| Wed, 25 Jan 2023 15:26:23 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Wed, 25 Jan 2023 15:18:06 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 25 Jan 2023 14:58:34 +0100 |
wenzelm |
manage other Isabelle distributions via SSH;
|
changeset |
files
|
| Wed, 25 Jan 2023 14:51:13 +0100 |
wenzelm |
more operations for SSH.System;
|
changeset |
files
|
| Wed, 25 Jan 2023 13:38:26 +0100 |
wenzelm |
recovered option -C from 092449efcb0e (still required for isabelle_cronjob.scala on Windows), but with slightly different meaning;
|
changeset |
files
|
| Wed, 25 Jan 2023 13:16:43 +0100 |
wenzelm |
clarified parameters (again);
|
changeset |
files
|
| Wed, 25 Jan 2023 13:37:44 +0000 |
paulson |
Some new material from the AFP
|
changeset |
files
|
| Tue, 24 Jan 2023 23:05:32 +0100 |
wenzelm |
clarified defaults: imitate "isabelle components -I" without further parameters;
|
changeset |
files
|
| Tue, 24 Jan 2023 22:48:28 +0100 |
wenzelm |
tuned;
|
changeset |
files
|