Document antiquotation for Isabelle tools
Document preparation
- Antiquotation @{tool} refers to Isabelle command-line tools, with completion and formal reference to the source (external script or internal Scala function).
This refers to Isabelle/3cc73d00553c. It uses Scala_Project.here as fancy new trick to define Scala source positions under program control.
- Projects
- None
- Subscribers
- None