*** 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)
Examples:
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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
