[isabelle-dev] Sledgehammer proof text insertion

Lars Noschinski noschinl at in.tum.de
Thu Sep 5 13:38:49 CEST 2013

On 05.09.2013 13:35, Florian Haftmann wrote:
> Hi,
> 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 mailing list