src/Tools/VSCode/src/server.scala

--- a/src/Tools/VSCode/src/server.scala	Thu Mar 15 21:26:39 2018 +0100
+++ b/src/Tools/VSCode/src/server.scala	Thu Mar 15 21:44:34 2018 +0100
@@ -45,7 +45,7 @@
 
   Options are:
     -A           explore theory name space of all known sessions (potentially slow)
-    -L FILE      enable logging on FILE
+    -L FILE      logging on FILE
     -d DIR       include session directory
     -l NAME      logic session name (default ISABELLE_LOGIC=""" + quote(default_logic) + """)
     -m MODE      add print mode for output