Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Threads tab in Monitor panel (Isabelle2018-RC0)


view this post on Zulip Email Gateway (Aug 22 2022 at 17:38):

From: "Eugene W. Stark" <isabelle-users@starkeffect.com>
I'm not doing any funny stuff with system debugging -- just using Isabelle2018-RC0
"out of the box".

I just tried the "isabelle console" thing you suggested, and the output from PolyML
appears reasonable. I have attached that, as well as the Monitor window from
JEdit, which does not appear reasonable. I tried forking a thread and the
stats reported by PolyML changed as expected. So does not look like a PolyML
issue.
Screenshot from 2018-06-15 16-06-00.png
Screenshot from 2018-06-15 16-06-07.png


Last updated: Mar 28 2024 at 16:17 UTC