--- a/Admin/build/TUM.toml Sun Nov 17 21:20:26 2024 +0100
+++ b/Admin/build/TUM.toml Mon Nov 18 12:35:44 2024 +0100
@@ -1,11 +1,11 @@
# Build cluster resources at TUM
[host.lxbroy10]
-hostname = "lxbroy10.informatik.tu-muenchen.de"
+hostname = "lxbroy10.in.tum.de"
numa = true
[host.vmnipkow9]
-hostname = "vmnipkow9.informatik.tu-muenchen.de"
+hostname = "vmnipkow9.in.tum.de"
[host.mini1]
hostname = "131.159.47.71"
--- a/Admin/etc/options Sun Nov 17 21:20:26 2024 +0100
+++ b/Admin/etc/options Mon Nov 18 12:35:44 2024 +0100
@@ -2,7 +2,7 @@
section "Admin tools"
-option isabelle_components_server : string = "lxbroy10.informatik.tu-muenchen.de"
+option isabelle_components_server : string = "lxbroy10.in.tum.de"
-- "user@host for SSH connection"
option isabelle_components_dir : string = "/p/home/isabelle/components"