equal
deleted
inserted
replaced
17 |
17 |
18 * New symbol \<circle>, e.g. for temporal operator. |
18 * New symbol \<circle>, e.g. for temporal operator. |
19 |
19 |
20 * Old 'header' command is no longer supported (legacy since |
20 * Old 'header' command is no longer supported (legacy since |
21 Isabelle2015). |
21 Isabelle2015). |
|
22 |
|
23 |
|
24 *** Prover IDE -- Isabelle/Scala/jEdit *** |
|
25 |
|
26 * IDE support for the Isabelle/Pure bootstrap process. The file |
|
27 src/Pure/ROOT.ML may be opened with Isabelle/jEdit: it acts like a |
|
28 theory body in the context of theory ML_Bootstrap. This allows |
|
29 continuous checking of ML files as usual, but the result is isolated |
|
30 from the actual Isabelle/Pure that runs the IDE itself. |
22 |
31 |
23 |
32 |
24 *** Isar *** |
33 *** Isar *** |
25 |
34 |
26 * Command '\<proof>' is an alias for 'sorry', with different |
35 * Command '\<proof>' is an alias for 'sorry', with different |