*** 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.

isabelle-dev mailing list

Reply via email to