NEWS
changeset 63307 3b7ec9a8da59
parent 63303 7cffe366d333
child 63310 caaacf37943f
equal deleted inserted replaced
63306:00090a0cd17f 63307:3b7ec9a8da59
    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