* Toplevel executable $ISABELLE_HOME/bin/isabelle_scala_script allows
to run Isabelle/Scala source files as standalone programs.
This refers to Isabelle/abf9fcfa65cf -- that changeset also contains a bit
of documentation and an example (as part of the "system" manual).
This might be relevant for "higher-order object-oriented system
programming", with the usual conceptual advantages, and accidental
disadvantages of the underlying JVM (slow compilation, slow startup).
Note that the executable is called "isabelle_scala_script" and not
"isabelle-scala-script" (as the old "isabelle-process"), since the latter
non-identifier form is non-portable as shell function across the multitude
of different /bin/sh standard POSIX shells. So the latter might become
"isabelle_process" at some point as well.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
