| Mon, 30 Jan 2023 15:02:38 +0100 |
wenzelm |
observe option "show_states" in headless server (see also 951abf9db857);
|
changeset |
files
|
| Mon, 30 Jan 2023 10:15:01 +0100 |
nipkow |
text correction
|
changeset |
files
|
| Sun, 29 Jan 2023 16:49:17 +0100 |
wenzelm |
enable clean_components by default: it saves a lot of local disk space, notably on virtual nodes;
|
changeset |
files
|
| Sat, 28 Jan 2023 22:31:40 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Sat, 28 Jan 2023 22:29:24 +0100 |
wenzelm |
removed somewhat pointless support for Jenkins log files: it has stopped working long ago;
|
changeset |
files
|
| Sat, 28 Jan 2023 21:40:06 +0100 |
wenzelm |
more uniform components context for the managing "self_isabelle" and the managed "other_isabelle";
|
changeset |
files
|
| Sat, 28 Jan 2023 21:32:33 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 28 Jan 2023 21:29:28 +0100 |
wenzelm |
more operations;
|
changeset |
files
|
| Sat, 28 Jan 2023 20:58:00 +0100 |
wenzelm |
obsolete (see also d547173212d2);
|
changeset |
files
|
| Sat, 28 Jan 2023 20:50:45 +0100 |
wenzelm |
clarified names to emphasize suble differences in meaning;
|
changeset |
files
|
| Sat, 28 Jan 2023 20:21:55 +0100 |
wenzelm |
prefer high-level Other_Isabelle.bash over low-level SSH.execute;
|
changeset |
files
|
| Sat, 28 Jan 2023 20:13:40 +0100 |
wenzelm |
unused (see 378bb7a739c3);
|
changeset |
files
|
| Sat, 28 Jan 2023 19:47:15 +0100 |
wenzelm |
more options to manage resolved components;
|
changeset |
files
|
| Sat, 28 Jan 2023 16:51:41 +0100 |
wenzelm |
proper use of current ISABELLE_COMPONENT_REPOSITORY from the managing Isabelle system (amending 3e963d68d394);
|
changeset |
files
|
| Sat, 28 Jan 2023 16:26:58 +0100 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Sat, 28 Jan 2023 16:20:44 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 28 Jan 2023 16:08:43 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Sat, 28 Jan 2023 16:06:38 +0100 |
wenzelm |
more operations;
|
changeset |
files
|
| Sat, 28 Jan 2023 15:38:36 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 28 Jan 2023 15:35:43 +0100 |
wenzelm |
clarified signature: more robust field_scale;
|
changeset |
files
|
| Sat, 28 Jan 2023 15:04:15 +0100 |
wenzelm |
clarified signature: more explicit types;
|
changeset |
files
|
| Sat, 28 Jan 2023 13:44:00 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 27 Jan 2023 18:59:48 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 27 Jan 2023 17:33:49 +0100 |
wenzelm |
support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;
|
changeset |
files
|
| Fri, 27 Jan 2023 16:49:03 +0100 |
wenzelm |
more explicit types;
|
changeset |
files
|
| Fri, 27 Jan 2023 16:48:19 +0100 |
wenzelm |
prefer typed/strict operations;
|
changeset |
files
|
| Fri, 27 Jan 2023 16:18:36 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Fri, 27 Jan 2023 15:43:45 +0100 |
wenzelm |
prefer strict operation: java.io.File.length returns 0 for non-existent file;
|
changeset |
files
|