[isabelle-dev] NEWS: find_consts

Makarius 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 
hand free.

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 mailing list