# HG changeset patch
# User wenzelm
# Date 1635896525 -3600
# Node ID 591303cc04c2e3f93a14122bd8611c9ab53d1ba2
# Parent  a755733c1eb5360a8cf60d046cf7f74931d4df1e
IDE build actually works (but somewhat pointless);

diff -r a755733c1eb5 -r 591303cc04c2 src/Doc/System/Scala.thy
--- a/src/Doc/System/Scala.thy	Wed Nov 03 00:38:13 2021 +0100
+++ b/src/Doc/System/Scala.thy	Wed Nov 03 00:42:05 2021 +0100
@@ -292,12 +292,9 @@
 
   \<^medskip>
   Option \<^verbatim>\<open>-L\<close> produces \<^emph>\<open>symlinks\<close> to the original files: this allows to
-  develop Isabelle/Scala/jEdit modules within an external IDE. Note that the
-  result cannot be built within the IDE: it requires implicit or explicit
-  \<^verbatim>\<open>isabelle scala_build\<close> (\secref{sec:tool-scala-build}) instead.
-
-  The default is to \<^emph>\<open>copy\<close> source files, so editing them within the IDE has
-  no permanent effect on the originals.
+  develop Isabelle/Scala/jEdit modules within an external IDE. The default is
+  to \<^emph>\<open>copy\<close> source files, so editing them within the IDE has no permanent
+  effect on the originals.
 
   \<^medskip>
   Option \<^verbatim>\<open>-D\<close> specifies an explicit project directory, instead of the default