equal
deleted
inserted
replaced
41 |
41 |
42 isabelle build -D '~~/src/ZF' |
42 isabelle build -D '~~/src/ZF' |
43 |
43 |
44 |
44 |
45 *** Prover IDE -- Isabelle/Scala/jEdit *** |
45 *** Prover IDE -- Isabelle/Scala/jEdit *** |
|
46 |
|
47 * PIDE markup for session ROOT files. |
46 |
48 |
47 * Completion supports theory header imports, using theory base name. |
49 * Completion supports theory header imports, using theory base name. |
48 E.g. "Prob" may be completed to "HOL-Probability.Probability". |
50 E.g. "Prob" may be completed to "HOL-Probability.Probability". |
49 |
51 |
50 * The command-line tool "isabelle jedit" provides more flexible options |
52 * The command-line tool "isabelle jedit" provides more flexible options |