equal
deleted
inserted
replaced
9 * Document antiquotation @{url} produces markup for the given URL, |
9 * Document antiquotation @{url} produces markup for the given URL, |
10 which results in an active hyperlink within the text. |
10 which results in an active hyperlink within the text. |
11 |
11 |
12 * Document antiquotation @{file_unchecked} is like @{file}, but does |
12 * Document antiquotation @{file_unchecked} is like @{file}, but does |
13 not check existence within the file-system. |
13 not check existence within the file-system. |
|
14 |
|
15 * Discontinued legacy_isub_isup, which was a temporary Isabelle/ML |
|
16 workaround in Isabelle2013-1. The prover process no longer accepts |
|
17 old identifier syntax with \<^isub> or \<^isup>. |
14 |
18 |
15 |
19 |
16 *** Prover IDE -- Isabelle/Scala/jEdit *** |
20 *** Prover IDE -- Isabelle/Scala/jEdit *** |
17 |
21 |
18 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE. |
22 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE. |