equal
deleted
inserted
replaced
6 |
6 |
7 *** General *** |
7 *** General *** |
8 |
8 |
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 |
|
12 * Document antiquotation @{file_unchecked} is like @{file}, but does |
|
13 not check existence within the file-system. |
11 |
14 |
12 |
15 |
13 *** Prover IDE -- Isabelle/Scala/jEdit *** |
16 *** Prover IDE -- Isabelle/Scala/jEdit *** |
14 |
17 |
15 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE. |
18 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE. |