equal
deleted
inserted
replaced
9 * Prover IDE (PIDE) improvements: |
9 * Prover IDE (PIDE) improvements: |
10 |
10 |
11 - markup for bound variables |
11 - markup for bound variables |
12 - markup for types of term variables (e.g. displayed as tooltips) |
12 - markup for types of term variables (e.g. displayed as tooltips) |
13 - support for user-defined Isar commands within the running session |
13 - support for user-defined Isar commands within the running session |
|
14 - improved support for Unicode outside original 16bit range |
|
15 e.g. glyph for \<A> (thanks to jEdit 4.5.1) |
14 |
16 |
15 * Updated and extended reference manuals ("isar-ref" and |
17 * Updated and extended reference manuals ("isar-ref" and |
16 "implementation"); reduced remaining material in old "ref" manual. |
18 "implementation"); reduced remaining material in old "ref" manual. |
17 |
19 |
18 * Rule attributes in local theory declarations (e.g. locale or class) |
20 * Rule attributes in local theory declarations (e.g. locale or class) |