# HG changeset patch
# User wenzelm
# Date 1583099566 -3600
# Node ID df7494f1438864c222da50c4b8b049865f42c0ee
# Parent  f61e55bab00c0cdc3a24104f54b0d86ff0ad3188
clarified command line;

diff -r f61e55bab00c -r df7494f14388 src/Doc/System/Scala.thy
--- a/src/Doc/System/Scala.thy	Sun Mar 01 22:32:10 2020 +0100
+++ b/src/Doc/System/Scala.thy	Sun Mar 01 22:52:46 2020 +0100
@@ -103,7 +103,7 @@
 \<open>Usage: isabelle scala_project [OPTIONS] PROJECT_DIR
 
   Options are:
-    -l           make symlinks to original scala files
+    -L           make symlinks to original scala files
 
   Setup Gradle project for Isabelle/Scala/jEdit --- to support Scala IDEs
   such as IntelliJ IDEA.\<close>}
diff -r f61e55bab00c -r df7494f14388 src/Pure/Tools/scala_project.scala
--- a/src/Pure/Tools/scala_project.scala	Sun Mar 01 22:32:10 2020 +0100
+++ b/src/Pure/Tools/scala_project.scala	Sun Mar 01 22:52:46 2020 +0100
@@ -123,12 +123,12 @@
 Usage: isabelle scala_project [OPTIONS] PROJECT_DIR
 
   Options are:
-    -l           make symlinks to original scala files
+    -L           make symlinks to original scala files
 
   Setup Gradle project for Isabelle/Scala/jEdit --- to support Scala IDEs
   such as IntelliJ IDEA.
 """,
-        "l" -> (_ => symlinks = true))
+        "L" -> (_ => symlinks = true))
 
       val more_args = getopts(args)