HomeIsabelle/Phabricator
PDF/HTML presentation in Isabelle/Scala, based on session build database

System

  • The command-line tool isabelle build provides option -P DIR to produce PDF/HTML presentation in the specified directory; -P: refers to the standard directory according to ISABELLE_BROWSER_INFO / ISABELLE_BROWSER_INFO_SYSTEM settings. Generated PDF documents are taken from the build database -- from this or earlier builds with option document=pdf.
  • The command-line tool isabelle document generates theory documents on the spot, using the underlying session build database (exported LaTeX sources or existing PDF files). INCOMPATIBILITY, the former isabelle document tool was rather different and has been discontinued.

This refers to Isabelle/035b8054013a.

Written by makarius on Sat, Nov 21, 7:49 PM.
User
Projects
None
Subscribers
None

Event Timeline