[isabelle-dev] NEWS: find_consts
makarius at sketis.net
Sun Apr 27 20:19:11 CEST 2014
* Find panel: support for 'find_consts' in addition to 'find_theorems'.
This refers to Isabelle/5b6f4655e2f2.
I have also made a few rounds through the GUI code of various panels and
tabs within the panels, to ensure that both the implicit and explicit
focus works smoothly. This is relevant to minimize the need for mouse
clicks for people who are attached to the keyboard, and thus don't have a
If there are remaining problems with such fine points of GUI event
handling, they should be published here and not kept secret as usual.
More information about the isabelle-dev