# HG changeset patch
# User wenzelm
# Date 1583579691 -3600
# Node ID abe3c309998bd543350e1e42ab39bb64243b6015
# Parent  95a4db22b70f9d8140ed6badd8a2f9a6c08e8fbc
proper option;

diff -r 95a4db22b70f -r abe3c309998b src/Doc/System/Scala.thy
--- a/src/Doc/System/Scala.thy	Fri Mar 06 22:01:28 2020 +0100
+++ b/src/Doc/System/Scala.thy	Sat Mar 07 12:14:51 2020 +0100
@@ -121,7 +121,7 @@
   \<^medskip> By default, Scala sources are \<^emph>\<open>copied\<close> from the Isabelle distribution and
   editing them within the IDE has no permanent effect.
 
-  Option \<^verbatim>\<open>-l\<close> produces \<^emph>\<open>symlinks\<close> to the original files: this allows to
+  Option \<^verbatim>\<open>-L\<close> produces \<^emph>\<open>symlinks\<close> to the original files: this allows to
   develop Isabelle/Scala/jEdit within an external Scala IDE. Note that
   building the result always requires \<^verbatim>\<open>isabelle jedit -b\<close> on the
   command-line.