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