[isabelle-dev] NEWS: Support for Isabelle command-line tools defined in Isabelle/Scala
Makarius
makarius at sketis.net
Sun Nov 11 16:55:21 CET 2018
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! 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.
I know, and I've (re)started thinking about it.
Somehow there should be a mechanism to augment the Admin/build process
in user-space. It would also mean to get rid of the special "isabelle
jedit -b" in various situations of system initialization.
Makarius
More information about the isabelle-dev
mailing list