equal
deleted
inserted
replaced
67 ML_Bootstrap: this allows continuous checking of all loaded ML files. |
67 ML_Bootstrap: this allows continuous checking of all loaded ML files. |
68 The theory files are presented with a modified header to import Pure |
68 The theory files are presented with a modified header to import Pure |
69 from the running Isabelle instance. Results from changed versions of |
69 from the running Isabelle instance. Results from changed versions of |
70 each stage are *not* propagated to the next stage, and isolated from the |
70 each stage are *not* propagated to the next stage, and isolated from the |
71 actual Isabelle/Pure that runs the IDE itself. The sequential |
71 actual Isabelle/Pure that runs the IDE itself. The sequential |
72 dependencies of the above files are only relevant for batch build. |
72 dependencies of the above files are only observed for batch build. |
73 |
73 |
74 * Highlighting of entity def/ref positions wrt. cursor. |
74 * Highlighting of entity def/ref positions wrt. cursor. |
75 |
75 |
76 * Action "isabelle.select-entity" (shortcut CS+ENTER) selects all |
76 * Action "isabelle.select-entity" (shortcut CS+ENTER) selects all |
77 occurences of the formal entity at the caret position. This facilitates |
77 occurences of the formal entity at the caret position. This facilitates |