equal
deleted
inserted
replaced
1 Isabelle NEWS -- history user-relevant changes |
1 Isabelle NEWS -- history user-relevant changes |
2 ============================================== |
2 ============================================== |
3 |
3 |
4 New in this Isabelle version |
4 New in this Isabelle version |
5 ---------------------------- |
5 ---------------------------- |
|
6 |
|
7 *** General *** |
|
8 |
|
9 * Document antiquotation @{url} produces markup for the given URL, |
|
10 which results in an active hyperlink within the text. |
|
11 |
6 |
12 |
7 *** Prover IDE -- Isabelle/Scala/jEdit *** |
13 *** Prover IDE -- Isabelle/Scala/jEdit *** |
8 |
14 |
9 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE. |
15 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE. |
10 Open text buffers take precedence over copies within the file-system. |
16 Open text buffers take precedence over copies within the file-system. |