[isabelle-dev] NEWS: isabelle_scala_script wrapper

Makarius makarius at sketis.net
Fri May 24 23:19:18 CEST 2013

* 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.


More information about the isabelle-dev mailing list