HomeIsabelle/Phabricator
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).

Written by makarius on May 27 2020, 4:44 PM.
User
Projects
None
Subscribers
None

Event Timeline