author | wenzelm |
Sun, 30 Dec 2018 16:06:09 +0100 | |
changeset 69549 | 612a02019f48 |
parent 69429 | dc5fbcb07c7b |
child 70099 | 9b9c1192f972 |
permissions | -rw-r--r-- |
(* :mode=isabelle-options: *) section "Admin tools" option isabelle_components_server : string = "lxbroy10.informatik.tu-muenchen.de" -- "user@host for SSH connection" option isabelle_components_dir : string = "/home/isabelle/components" -- "webspace for ISABELLE_COMPONENT_REPOSITORY" option isabelle_components_contrib_dir : string = "/home/isabelle/contrib" -- "unpacked components for remote build services"