Email Gateway (Aug 22 2022 at 17:38): 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: Nov 21 2024 at 12:39 UTC