Stream: Mirror: Isabelle Development Mailing List

Topic: Jedit run failure

view this post on Zulip Email Gateway (Apr 05 2025 at 13:17):

From: Florian Haftmann <florian.haftmann@cit.tum.de>
$ hg id
bb1f2a03b370 tip

$ isabelle jedit -f -l Pure
[…]
15:16:08 [main] [error] Plugin: java.lang.IllegalArgumentException:
requirement failed: GUI thread expected
[…]

Florian

OpenPGP_0xA707172232CFA4E9.asc
OpenPGP_signature.asc

view this post on Zulip Email Gateway (Apr 05 2025 at 13:26):

From: Florian Haftmann <florian.haftmann@cit.tum.de>
Removing ~/.isabelle/jedit helped.

Florian

Am 05.04.25 um 15:17 schrieb Florian Haftmann:

$ hg id
bb1f2a03b370 tip

$ isabelle jedit -f -l Pure
[…]
15:16:08 [main] [error] Plugin: java.lang.IllegalArgumentException:
requirement failed: GUI thread expected
[…]

Florian

OpenPGP_0xA707172232CFA4E9.asc
OpenPGP_signature.asc

Last updated: Apr 18 2025 at 20:21 UTC