equal
deleted
inserted
replaced
35 * Old 'header' command is no longer supported (legacy since |
35 * Old 'header' command is no longer supported (legacy since |
36 Isabelle2015). |
36 Isabelle2015). |
37 |
37 |
38 |
38 |
39 *** Prover IDE -- Isabelle/Scala/jEdit *** |
39 *** Prover IDE -- Isabelle/Scala/jEdit *** |
|
40 |
|
41 * Cartouche abbreviations work both for " and ` to accomodate typical |
|
42 situations where old ASCII notation may be updated. |
40 |
43 |
41 * IDE support for the Isabelle/Pure bootstrap process, with the |
44 * IDE support for the Isabelle/Pure bootstrap process, with the |
42 following independent stages: |
45 following independent stages: |
43 |
46 |
44 src/Pure/ROOT0.ML |
47 src/Pure/ROOT0.ML |