equal
deleted
inserted
replaced
19 * Syntax of document antiquotation @{rail} now uses \<newline> instead |
19 * Syntax of document antiquotation @{rail} now uses \<newline> instead |
20 of "\\", to avoid the optical illusion of escaped backslash within |
20 of "\\", to avoid the optical illusion of escaped backslash within |
21 string token. Minor INCOMPATIBILITY. |
21 string token. Minor INCOMPATIBILITY. |
22 |
22 |
23 * Lexical syntax (inner and outer) supports text cartouches with |
23 * Lexical syntax (inner and outer) supports text cartouches with |
24 arbitrary nesting, and without escapes of quotes etc. |
24 arbitrary nesting, and without escapes of quotes etc. The Prover IDE |
|
25 supports input methods via ` (backquote), or << and >> (double angle |
|
26 brackets). |
25 |
27 |
26 |
28 |
27 *** Prover IDE -- Isabelle/Scala/jEdit *** |
29 *** Prover IDE -- Isabelle/Scala/jEdit *** |
28 |
30 |
29 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE. |
31 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE. |