[isabelle-dev] NEWS: Highlighting of entity def/ref positions
makarius at sketis.net
Mon Apr 18 16:24:10 CEST 2016
*** Prover IDE -- Isabelle/Scala/jEdit ***
* Highlighting of entity def/ref positions wrt. cursor.
This refers to Isabelle/15e6ae52e91a, where it is pushed through most
definitional packages already.
Name bindings need to be treated carefully with their position
information, but it also needs to be reset in certain situations
(typically for derived fact names).
More information about the isabelle-dev