--- a/Admin/Release/CHECKLIST Sat Nov 25 16:13:08 2023 +0100
+++ b/Admin/Release/CHECKLIST Sat Nov 25 16:49:48 2023 +0100
@@ -22,8 +22,6 @@
- test Isabelle/jEdit: deactivate main plugin;
-- test "#!/usr/bin/env isabelle_scala_script";
-
- test "isabelle java_monitor -P pid" with "isabelle jedit";
- test Windows 10 subsystem for Linux:
--- a/NEWS Sat Nov 25 16:13:08 2023 +0100
+++ b/NEWS Sat Nov 25 16:49:48 2023 +0100
@@ -77,6 +77,10 @@
command-line tool that is implemented in Isabelle/Scala. It serves as
demonstration for user-defined tools.
+* Old $ISABELLE_HOME/bin/isabelle_scala_script has been removed.
+Command-line tools in Isabelle/Scala should be provided by a proper
+system component with etc/build.props, e.g. see src/Tools/Demo/.
+
* The Isabelle/Scala module isabelle.Registry provides hierarchic system
configuration, based on a collection of TOML files (see also
https://toml.io/en/v1.0.0). The settings variable ISABELLE_REGISTRY
--- a/lib/Tools/install Sat Nov 25 16:13:08 2023 +0100
+++ b/lib/Tools/install Sat Nov 25 16:49:48 2023 +0100
@@ -63,7 +63,7 @@
mkdir -p "$BINDIR" || fail "Bad directory: \"$BINDIR\""
-for NAME in isabelle isabelle_java isabelle_scala_script
+for NAME in isabelle isabelle_java
do
BIN="$BINDIR/$NAME"
DIST="$DISTDIR/bin/$NAME"
--- a/lib/scripts/getsettings Sat Nov 25 16:13:08 2023 +0100
+++ b/lib/scripts/getsettings Sat Nov 25 16:49:48 2023 +0100
@@ -59,7 +59,6 @@
#main executables
ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
-ISABELLE_SCALA_SCRIPT="$ISABELLE_HOME/bin/isabelle_scala_script"
PATH="$ISABELLE_HOME/bin:$PATH"
#platform
--- a/src/Doc/System/Misc.thy Sat Nov 25 16:13:08 2023 +0100
+++ b/src/Doc/System/Misc.thy Sat Nov 25 16:49:48 2023 +0100
@@ -399,7 +399,7 @@
determined by @{setting ISABELLE_HOME}.
The \<open>BINDIR\<close> argument tells where executable wrapper scripts for
- @{executable "isabelle"} and @{executable isabelle_scala_script} should be
+ @{executable "isabelle"} and @{executable isabelle_java} should be
placed, which is typically a directory in the shell's @{setting PATH}, such
as \<^verbatim>\<open>$HOME/bin\<close>.
--- a/src/Doc/System/Scala.thy Sat Nov 25 16:13:08 2023 +0100
+++ b/src/Doc/System/Scala.thy Sat Nov 25 16:49:48 2023 +0100
@@ -96,27 +96,6 @@
\<close>
-subsection \<open>Scala script wrapper\<close>
-
-text \<open>
- The executable @{executable "$ISABELLE_HOME/bin/isabelle_scala_script"}
- allows to run Isabelle/Scala source files stand-alone programs, by using a
- suitable ``hash-bang'' line and executable file permissions. For example:
- @{verbatim [display, indent = 2] \<open>#!/usr/bin/env isabelle_scala_script\<close>}
- @{scala [display, indent = 2]
-\<open>val options = isabelle.Options.init()
-Console.println("browser_info = " + options.bool("browser_info"))
-Console.println("document = " + options.string("document"))\<close>}
-
- This assumes that the executable may be found via the @{setting PATH} from
- the process environment: this is the case when Isabelle settings are active,
- e.g.\ in the context of the main Isabelle tool wrapper
- \secref{sec:isabelle-tool}. Alternatively, the full
- \<^file>\<open>$ISABELLE_HOME/bin/isabelle_scala_script\<close> may be specified in expanded
- form.
-\<close>
-
-
subsection \<open>Scala compiler \label{sec:tool-scalac}\<close>
text \<open>