[isabelle-dev] NEWS: Highlighting of entity def/ref positions

[Makarius]

*** 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).


 	Makarius