src/Tools/VSCode/src/server.scala
changeset 64737 9fc965612459
parent 64733 20174e871623
child 64747 54afac94f52b
     1.1 --- a/src/Tools/VSCode/src/server.scala	Sun Jan 01 21:26:26 2017 +0100
     1.2 +++ b/src/Tools/VSCode/src/server.scala	Sun Jan 01 23:08:39 2017 +0100
     1.3 @@ -45,7 +45,7 @@
     1.4      -L FILE      enable logging on FILE
     1.5      -T LENGTH    text length encoding: """ + text_length_choice + """
     1.6      -d DIR       include session directory
     1.7 -    -l NAME      logic session name (default ISABELLE_LOGIC=""" + quote(logic) + """)
     1.8 +    -l NAME      logic session name (default ISABELLE_LOGIC=""" + quote(default_logic) + """)
     1.9      -m MODE      add print mode for output
    1.10      -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
    1.11      -s           system build mode for session image