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

2018-11-11 Thread Makarius
On 11/11/2018 16:44, Lars Hupel wrote: >> * 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!

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

2018-11-11 Thread Lars Hupel
* 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,