equal
deleted
inserted
replaced
3 section "Admin tools" |
3 section "Admin tools" |
4 |
4 |
5 option isabelle_components_server : string = "lxbroy10.informatik.tu-muenchen.de" |
5 option isabelle_components_server : string = "lxbroy10.informatik.tu-muenchen.de" |
6 -- "user@host for SSH connection" |
6 -- "user@host for SSH connection" |
7 |
7 |
8 option isabelle_components_dir : string = "/home/isabelle/components" |
8 option isabelle_components_dir : string = "/p/home/isabelle/components" |
9 -- "webspace for ISABELLE_COMPONENT_REPOSITORY" |
9 -- "webspace for ISABELLE_COMPONENT_REPOSITORY" |
10 |
10 |
11 option isabelle_components_contrib_dir : string = "/home/isabelle/contrib" |
11 option isabelle_components_contrib_dir : string = "/p/home/isabelle/contrib" |
12 -- "unpacked components for remote build services" |
12 -- "unpacked components for remote build services" |
13 |
13 |
14 |
14 |
15 option build_host_linux_arm : string = "" |
15 option build_host_linux_arm : string = "" |
16 -- "SSH user@host for remote build of heaps" |
16 -- "SSH user@host for remote build of heaps" |