equal
deleted
inserted
replaced
26 accessible ROOT file is processed only once. This facilitates |
26 accessible ROOT file is processed only once. This facilitates |
27 specification of $ISABELLE_HOME_USER/ROOTS or command-line options like |
27 specification of $ISABELLE_HOME_USER/ROOTS or command-line options like |
28 -d or -D for "isabelle build" and "isabelle jedit". Example: |
28 -d or -D for "isabelle build" and "isabelle jedit". Example: |
29 |
29 |
30 isabelle build -D '~~/src/ZF' |
30 isabelle build -D '~~/src/ZF' |
|
31 |
|
32 |
|
33 *** Prover IDE -- Isabelle/Scala/jEdit *** |
|
34 |
|
35 * Completion supports theory header imports. |
31 |
36 |
32 |
37 |
33 *** HOL *** |
38 *** HOL *** |
34 |
39 |
35 * SMT module: |
40 * SMT module: |