changeset 69572 | 09a6a7c04b45 |
parent 69520 | 16779868de1f |
child 69586 | 9171d1ce5a35 |
--- a/etc/options Wed Jan 02 12:50:32 2019 +0100 +++ b/etc/options Wed Jan 02 20:20:01 2019 +0100 @@ -302,3 +302,9 @@ option build_log_ssh_port : int = 0 option build_log_history : int = 30 -- "length of relevant history (in days)" option build_log_transaction_size : int = 1 -- "number of log files for each db update" + + +section "Isabelle/Scala/ML system channel" + +option system_channel_address : string = "" +option system_channel_password : string = ""