Antiquotations for Isabelle systems programming
Document preparation
- Antiquotation @{bash_function} refers to GNU bash functions that are checked within the Isabelle settings environment.
- Antiquotations @{scala}, @{scala_object}, @{scala_type}, @{scala_method} refer to checked Isabelle/Scala entities.
ML
- Antiquotations @{scala_function} and @{scala} refer to registered Isabelle/Scala functions (of type String => String): invocation works via the PIDE protocol.
This refers to Isabelle/cdcf2fcf3f54. Documentation is in the system manual (chapter 5).
- Projects
- None
- Subscribers
- None