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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev