[isabelle-dev] crashes

Lawrence Paulson lp15 at cam.ac.uk
Wed Mar 20 18:44:52 CET 2013

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.


More information about the isabelle-dev mailing list