equal
deleted
inserted
replaced
55 icons are available for jEdit and Isabelle/jEdit add-ons. The special |
55 icons are available for jEdit and Isabelle/jEdit add-ons. The special |
56 notation "myicon.svg?scale=0.5" allows to resize icons as specified in |
56 notation "myicon.svg?scale=0.5" allows to resize icons as specified in |
57 jEdit properties. The default properties of Isabelle/jEdit usually |
57 jEdit properties. The default properties of Isabelle/jEdit usually |
58 prefer scalable icons over fixed old bitmaps, but some notable icons are |
58 prefer scalable icons over fixed old bitmaps, but some notable icons are |
59 not available as SVG. |
59 not available as SVG. |
|
60 |
|
61 |
|
62 *** Pure *** |
|
63 |
|
64 * Command 'thy_deps' expects optional theory arguments as long theory names, |
|
65 the same way as the 'imports' clause. Minor INCOMPATIBILITY. |
60 |
66 |
61 |
67 |
62 *** HOL *** |
68 *** HOL *** |
63 |
69 |
64 * Normalization by evaluation (method "normalization", command value) could |
70 * Normalization by evaluation (method "normalization", command value) could |