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 <nip...@in.tum.de> 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