equal
deleted
inserted
replaced
60 |
60 |
61 *** Prover IDE -- Isabelle/Scala/jEdit *** |
61 *** Prover IDE -- Isabelle/Scala/jEdit *** |
62 |
62 |
63 * Cartouche abbreviations work both for " and ` to accomodate typical |
63 * Cartouche abbreviations work both for " and ` to accomodate typical |
64 situations where old ASCII notation may be updated. |
64 situations where old ASCII notation may be updated. |
|
65 |
|
66 * Isabelle/ML and Standard ML files are presented in Sidekick with the |
|
67 tree structure of section headings: this special comment format is |
|
68 described in "implementation" chapter 0, e.g. (*** section ***). |
65 |
69 |
66 * IDE support for the Isabelle/Pure bootstrap process, with the |
70 * IDE support for the Isabelle/Pure bootstrap process, with the |
67 following independent stages: |
71 following independent stages: |
68 |
72 |
69 src/Pure/ROOT0.ML |
73 src/Pure/ROOT0.ML |