It doesn't always work in the panel either. Some lurking bugs maybe. I'm not
sure what you are allowed to do while sh is running.
Larry
On 31 Aug 2013, at 09:04, Tobias Nipkow wrote:
> Please disregard my previous email. I see that there is now a sledeghammer
> panel
> (with some more goodies)
Please disregard my previous email. I see that there is now a sledeghammer panel
(with some more goodies) which avoids having to type sle... and thus solves the
issue.
Thanks for that
Tobias
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://ma
