equal
deleted
inserted
replaced
13 included distinct_subgoals_tac no longer affects unrelated subgoals. |
13 included distinct_subgoals_tac no longer affects unrelated subgoals. |
14 Rare INCOMPATIBILITY. |
14 Rare INCOMPATIBILITY. |
15 |
15 |
16 |
16 |
17 *** Isabelle/jEdit Prover IDE *** |
17 *** Isabelle/jEdit Prover IDE *** |
|
18 |
|
19 * Improved markup for theory header imports: hyperlinks for theory files |
|
20 work without formal checking of content. |
18 |
21 |
19 * Action "isabelle.goto-entity" (shortcut CS+d) jumps to the definition |
22 * Action "isabelle.goto-entity" (shortcut CS+d) jumps to the definition |
20 of the formal entity at the caret position. |
23 of the formal entity at the caret position. |
21 |
24 |
22 * The visual feedback on caret entity focus is normally restricted to |
25 * The visual feedback on caret entity focus is normally restricted to |