Re: [isabelle-dev] NEWS: Support for Isabelle command-line tools defined in Isabelle/Scala
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
Re: [isabelle-dev] NEWS: Support for Isabelle command-line tools defined in Isabelle/Scala
* 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. ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
[isabelle-dev] NEWS: Support for Isabelle command-line tools defined in Isabelle/Scala
*** 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