# HG changeset patch # User wenzelm # Date 1483308519 -3600 # Node ID 9fc965612459786f58c60dae401806cae41b5869 # Parent 07bf45283b92fc25bf7404caeb79b9f1193016de proper default; diff -r 07bf45283b92 -r 9fc965612459 src/Tools/VSCode/src/server.scala --- a/src/Tools/VSCode/src/server.scala Sun Jan 01 21:26:26 2017 +0100 +++ b/src/Tools/VSCode/src/server.scala Sun Jan 01 23:08:39 2017 +0100 @@ -45,7 +45,7 @@ -L FILE enable logging on FILE -T LENGTH text length encoding: """ + text_length_choice + """ -d DIR include session directory - -l NAME logic session name (default ISABELLE_LOGIC=""" + quote(logic) + """) + -l NAME logic session name (default ISABELLE_LOGIC=""" + quote(default_logic) + """) -m MODE add print mode for output -o OPTION override Isabelle system OPTION (via NAME=VAL or NAME) -s system build mode for session image