equal
deleted
inserted
replaced
38 specifications: nesting of "context fixes ... context assumes ..." |
38 specifications: nesting of "context fixes ... context assumes ..." |
39 and "class ... context ...". |
39 and "class ... context ...". |
40 |
40 |
41 * More informative error messages for Isar proof commands involving |
41 * More informative error messages for Isar proof commands involving |
42 lazy enumerations (method applications etc.). |
42 lazy enumerations (method applications etc.). |
|
43 |
|
44 * Refined 'help' command to retrieve outer syntax commands according |
|
45 to name patterns (with clickable results). |
43 |
46 |
44 |
47 |
45 *** Prover IDE -- Isabelle/Scala/jEdit *** |
48 *** Prover IDE -- Isabelle/Scala/jEdit *** |
46 |
49 |
47 * Parallel terminal proofs ('by') are enabled by default, likewise |
50 * Parallel terminal proofs ('by') are enabled by default, likewise |