[isabelle-dev] sledgehammer

[Lawrence Paulson]

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 <nipkow at 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-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev