equal
deleted
inserted
replaced
70 * The Theories dockable provides a "Purge" button, in order to restrict |
70 * The Theories dockable provides a "Purge" button, in order to restrict |
71 the document model to theories that are required for open editor |
71 the document model to theories that are required for open editor |
72 buffers. |
72 buffers. |
73 |
73 |
74 * Update to jedit-5.4.0. |
74 * Update to jedit-5.4.0. |
|
75 |
|
76 |
|
77 *** Pure *** |
|
78 |
|
79 * Deleting the last code equations for a particular function using |
|
80 [code del] results in function with no equations (runtime abort) rather |
|
81 than an unimplemented function (generate time abort). Use explicit |
|
82 [[code drop:]] to enforce the latter. Minor INCOMPATIBILTIY. |
75 |
83 |
76 |
84 |
77 *** HOL *** |
85 *** HOL *** |
78 |
86 |
79 * "sublist" from theory List renamed to "nths" in analogy with "nth". |
87 * "sublist" from theory List renamed to "nths" in analogy with "nth". |