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.
clarified command line;
authorwenzelm
Sun, 01 Mar 2020 22:52:46 +0100
changeset 71503 df7494f14388
parent 71502 f61e55bab00c
child 71504 f2a79950748e
clarified command line;
src/Doc/System/Scala.thy file | annotate | diff | comparison | revisions
src/Pure/Tools/scala_project.scala file | annotate | diff | comparison | revisions 
--- 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>}
--- 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)
isabelle