I am getting quite a few Isabelle/jEdit crashes (with core dumps), at least one a day.
Is there any point filing bug reports? The website for this looked a bit formidable. Larry _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
