Re: [isabelle] Isabelle2013-RC3 available for testing
On Sat, 9 Feb 2013, Gottfried Barrow wrote:
After the info window popped up this time, the output panel quit
printing any proof goal information. That was occasionally happening
with RC2, but, as I remember, the output panel stilled worked in the
view I wasn't working in, because the good view was what I would use to
make an A/B comparison to make sure it wasn't something simple I was
This time, I had to close one view, open up a new view from the view
still open, and then open up a second view again.
The observation is correct that every jEdit "view" has a separate
collection of "dockables" associated with it. The Output panel is one
such dockable. After some incident on the Java VM it could crash, so that
it no longer updates its window content. A fresh copy can be made via a
fresh view as sketched above, or just via "undock" and restart of the
dockable via the Plugins / Isabelle menu.
Actually, I can't say without a doubt that the output panel quits
working when the info window pops up, because when I'm typing a lot, I
usually haven't been looking for output from the output panel.
You could try to capture a Java VM exception trace next time, and show it
to me. I normally capture Java VM error output from the terminal, which
would mean Cygwin-Terminal for you and the command "isabelle jedit".
Alternatively, you can try the jEdit menu "Utilities / Troubleshooting /
Activity Log". That log should contain major failures of the running JVM
process -- jEdit has some command line options to moderate this a bit.
This archive was generated by a fusion of
Pipermail (Mailman edition) and