Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2015-RC3 available for testing: Crash ...

Email Gateway (Aug 22 2022 at 10:10):

From: "C. Diekmann" <diekmann@in.tum.de>
Dear Makarius,

I can repeatedly produce a crash of jEdit.

This is what I'm doing:

1) Open two files
2) Make changes to the files (do NOT save them)
3) Close jEdit
The "Unsaved Changes" box appears
4) Click "Select All"
5) Click "Save Selected"

Now jEdit doesn't respond anymore. If I started isabelle jedit from
the shell, I can terminate it with ctrl+c.

Cornelius

Last updated: Nov 21 2024 at 12:39 UTC