[isabelle-dev] NEWS: Support for Isabelle command-line tools defined in Isabelle/Scala

Lars Hupel hupel at in.tum.de
Sun Nov 11 16:44:39 CET 2018


> * 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 is nice! Anything on the radar to automate compilation as well, 
just like `jedit -bf`, but for arbitrary components? That would be very 
useful for the AFP.



More information about the isabelle-dev mailing list