[isabelle-dev] NEWS: isabelle jedit options

Makarius makarius at sketis.net
Mon Jun 4 14:27:14 CEST 2018

*** Isabelle/jEdit Prover IDE ***

* The command-line tool "isabelle jedit" provides more flexible options
for session management:
  - option -R builds an auxiliary logic image with all required theories
    from other sessions, relative to an ancestor session given by option
    -A (default: parent)
  - option -S is like -R, with a focus on the selected session and its
    descendants (this reduces startup time for big projects like AFP)

    isabelle jedit -R HOL-Number_Theory
    isabelle jedit -R HOL-Number_Theory -A HOL
    isabelle jedit -d '$AFP' -S Formal_SSA -A HOL
    isabelle jedit -d '$AFP' -S Formal_SSA -A HOL-Analysis

This refers to Isabelle/bcdc47c9d4af, it is a clarification and
simplification from earlier options. That changeset also contains the
updated documentation.


More information about the isabelle-dev mailing list