equal
deleted
inserted
replaced
28 |
28 |
29 |
29 |
30 *** Isabelle/jEdit Prover IDE *** |
30 *** Isabelle/jEdit Prover IDE *** |
31 |
31 |
32 * More robust 'proof' outline for method "induct": support nested cases. |
32 * More robust 'proof' outline for method "induct": support nested cases. |
|
33 |
|
34 * Support for built-in font substitution of jEdit text area. |
33 |
35 |
34 |
36 |
35 *** Document preparation *** |
37 *** Document preparation *** |
36 |
38 |
37 * More predefined symbols: \<interleave> \<sslash> (package "stmaryrd"), \<checkmark> \<crossmark> (LaTeX package |
39 * More predefined symbols: \<interleave> \<sslash> (package "stmaryrd"), \<checkmark> \<crossmark> (LaTeX package |