equal
deleted
inserted
replaced
10 |
10 |
11 option isabelle_components_contrib_dir : string = "/home/isabelle/contrib" |
11 option isabelle_components_contrib_dir : string = "/home/isabelle/contrib" |
12 -- "unpacked components for remote build services" |
12 -- "unpacked components for remote build services" |
13 |
13 |
14 |
14 |
15 option build_release_server_linux : string = "" |
15 option build_host_linux : string = "" |
16 -- "SSH user@host for remote build of heaps" |
16 -- "SSH user@host for remote build of heaps" |
17 |
17 |
18 option build_release_server_macos : string = "" |
18 option build_host_macos : string = "" |
19 -- "SSH user@host for remote build of heaps" |
19 -- "SSH user@host for remote build of heaps" |
20 |
20 |
21 option build_release_server_windows : string = "" |
21 option build_host_windows : string = "" |
22 -- "SSH user@host for remote build of heaps" |
22 -- "SSH user@host for remote build of heaps" |