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) which avoids having to type sle... and thus solves
> the
> issue.
>
> Thanks for that
> Tobias
> ___
> isabelle-dev mailing list
> isabelle-...@in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev