On 04/11/17 10:25, Florian Haftmann wrote:
>
> Lets start with
>
> isabelle jedit -d '$AFP' -S …
>
> This provides a suitable base image and opens the ROOT file.
>
> What is the canonical way to proceed from there to check the whole
> session? Of course the ROOT file lists the
Dear Makarius,
> *** Prover IDE -- Isabelle/Scala/jEdit ***
>
> * The command-line tool "isabelle jedit" provides more flexible options
> for session selection:
> - options -P opens the parent session image of -l
> - options -A and -B modify the meaning of -l to produce a base
> image on
*** Prover IDE -- Isabelle/Scala/jEdit ***
* The command-line tool "isabelle jedit" provides more flexible options
for session selection:
- options -P opens the parent session image of -l
- options -A and -B modify the meaning of -l to produce a base
image on the spot, based on the