Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Prover Process terminated!?

view this post on Zulip Email Gateway (Aug 19 2022 at 16:49):

From: Peter Lammich <lammich@in.tum.de>
Isabelle/jEdit showed me this message right after I started to load some
theory files.

Any idea what happened here?

view this post on Zulip Email Gateway (Aug 19 2022 at 16:50):

From: Makarius <makarius@sketis.net>
See also this thread from last summer:
https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2014-August/msg00243.html

The situation did not change since then, although I've tried to pin down
the problem a few more times. Maybe we just need to move on towards
x86_64 with more memory by default.

Makarius

http://stop-ttip.org 1,152,126 people so far

Last updated: Apr 24 2024 at 12:33 UTC