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 |