[isabelle-dev] Sledgehammer proof text insertion
noschinl at in.tum.de
Thu Sep 5 13:38:49 CEST 2013
On 05.09.2013 13:35, Florian Haftmann wrote:
> after some time playing around with the new sledgehammer panel
> (ab4edf89992f), here my feedback:
Regarding this (and also the new Find panel), I would like to see a
keyboard shortcut, not only to open the panel (those can already be
defined), but to select the major function of the panel, i.e.
start sledgehammer for the sledgehammer panel
give focus to the search term input box for the find panel.
More information about the isabelle-dev