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

Written by makarius on Nov 30 2020, 1:09 PM.
User
Projects
None
Subscribers
None

Event Timeline