| Tue, 31 May 2022 13:29:47 +0200 |
wenzelm |
more operations;
|
changeset |
files
|
| Tue, 31 May 2022 13:14:46 +0200 |
wenzelm |
support explicit SSH port;
|
changeset |
files
|
| Tue, 31 May 2022 12:48:12 +0200 |
wenzelm |
redundant (after f28aee3ad1e6): self_update already takes care of currently active Isabelle clone;
|
changeset |
files
|
| Mon, 30 May 2022 22:34:45 +0200 |
wenzelm |
clarified options;
|
changeset |
files
|
| Mon, 30 May 2022 20:58:45 +0200 |
nipkow |
Added lemmas
|
changeset |
files
|
| Mon, 30 May 2022 12:46:22 +0100 |
paulson |
merged
|
changeset |
files
|
| Mon, 30 May 2022 12:46:11 +0100 |
paulson |
Five slightly useful lemmas
|
changeset |
files
|
| Mon, 30 May 2022 11:51:34 +0200 |
wenzelm |
clarified option -T;
|
changeset |
files
|
| Mon, 30 May 2022 11:34:25 +0200 |
wenzelm |
preserve jars for quick testing;
|
changeset |
files
|
| Mon, 30 May 2022 11:02:13 +0200 |
wenzelm |
tuned names;
|
changeset |
files
|
| Mon, 30 May 2022 10:56:51 +0200 |
wenzelm |
clarified documentation: $ISABELLE_HOME is not a repository for regular releases;
|
changeset |
files
|
| Mon, 30 May 2022 10:52:00 +0200 |
wenzelm |
clarified command-line options;
|
changeset |
files
|
| Mon, 30 May 2022 10:51:04 +0200 |
wenzelm |
proper anchored pattern;
|
changeset |
files
|
| Mon, 30 May 2022 10:31:56 +0200 |
wenzelm |
support thorough check of file content;
|
changeset |
files
|