Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned options;
authorwenzelm
Fri, 16 Mar 2018 14:08:53 +0100
changeset 67875 641315ebed02
parent 67874 599753dd6501
child 67876 cc4832285c38
tuned options;
src/Pure/Tools/server.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/server.scala	Thu Mar 15 22:43:35 2018 +0100
+++ b/src/Pure/Tools/server.scala	Fri Mar 16 14:08:53 2018 +0100
@@ -423,8 +423,8 @@
 Usage: isabelle server [OPTIONS]
 
   Options are:
-    -C           console interaction with specified server
     -L FILE      logging on FILE
+    -c           console interaction with specified server
     -l           list servers (exclusive operation)
     -n NAME      explicit server name (default: """ + default_name + """)
     -p PORT      explicit server port
@@ -433,8 +433,8 @@
 
   Manage resident Isabelle servers.
 """,
-          "C" -> (_ => console = true),
           "L:" -> (arg => log_file = Some(Path.explode(File.standard_path(arg)))),
+          "c" -> (_ => console = true),
           "l" -> (_ => operation_list = true),
           "n:" -> (arg => name = arg),
           "p:" -> (arg => port = Value.Int.parse(arg)),
isabelle