equal
deleted
inserted
replaced
23 https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/net/doc-files/net-properties.html |
23 https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/net/doc-files/net-properties.html |
24 |
24 |
25 * More symbol definitions for the Z Notation (Isabelle fonts and LaTeX). |
25 * More symbol definitions for the Z Notation (Isabelle fonts and LaTeX). |
26 See also the group "Z Notation" in the Symbols dockable of |
26 See also the group "Z Notation" in the Symbols dockable of |
27 Isabelle/jEdit. |
27 Isabelle/jEdit. |
|
28 |
|
29 |
|
30 *** Isabelle/jEdit Prover IDE *** |
|
31 |
|
32 * More robust 'proof' outline for method "induct": support nested cases. |
28 |
33 |
29 |
34 |
30 *** Document preparation *** |
35 *** Document preparation *** |
31 |
36 |
32 * Improved LaTeX typesetting of \<open>...\<close> using \guilsinglleft ... |
37 * Improved LaTeX typesetting of \<open>...\<close> using \guilsinglleft ... |