[isabelle-dev] Whole word search

Fabian Immler immler at in.tum.de
Tue Jun 7 10:10:45 CEST 2016

> Am 06.06.2016 um 21:29 schrieb Makarius <makarius at sketis.net>:
> It means that the parts of long identifiers can be selected individually
> (e.g. via double-clicked). It also has an effect on searching "x" in
> "x.", but note that the lambda in "λx." is still a word character.
> (Maybe that should be changed as well.)

Have you noticed that (in isabelle/f59fd6cc935e) this individual selection via double-click works only in the main text area?
In the panels for State, Output, and Query, a double-click selects the long identifier. This also applies to popups when e.g., hovering over a constant.


More information about the isabelle-dev mailing list