equal
deleted
inserted
replaced
1 (* :mode=isabelle-options: *) |
1 (* :mode=isabelle-options: *) |
2 |
2 |
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.in.tum.de" |
6 -- "user@host for SSH connection" |
6 -- "user@host for SSH connection" |
7 |
7 |
8 option isabelle_components_dir : string = "/p/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 |