*** System ***
* Support for Isabelle command-line tools defined in Isabelle/Scala.
Instances of class Isabelle_Scala_Tools may be configured via the shell
function "isabelle_scala_tools" in etc/settings (e.g. of an Isabelle
component).
This refers to Isabelle/258bef08b31e. In recent years we have seen a
trend to use proper Isabelle/Scala instead of odd scripts (Bash, Perl,
Python etc.). Now it is possible to do this for user-space components
that provide their own classpath jars with instances of class
Isabelle_Scala_Tools. So far this only worked for .scala scripts, which
where interpreted.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
