Email Gateway (Aug 22 2022 at 12:20): Email Gateway (Aug 22 2022 at 12:20):From: Alfio Martini <alfio.martini@acm.org>
Hi Makarius,
I have experienced an unexpected behavior this version (Windows, 64 bits)
As expected , after Isabelle/jEdit is started, it loads the file
Scratch.thy and process its contents.
However when I load another theory file (via open), it does not appear in
text area
of the editor. I have to select it from the drop-down buffer list switcher
in order to make it visible
in the edit pane's text area. The image attached shows that the text area
still shows the file "Scratch.thy"
right after I open "wf_induction.thy". At first, I thought that the
loading process was taking too long
and it took me some time to realize what was going on. Hope it is easy to
fix this.
OS info: Windows 10, Memory: 8GB, Processor: Intel i5-5200U, 2.20 GHz
The snapshot version from 23/12/2015 does not exhibit this behaviour.
Best
rc2_text_01.PNG
Email Gateway (Aug 22 2022 at 12:20):From: Makarius <makarius@sketis.net>
Can you try http://isabelle.in.tum.de/website-Isabelle2016-RC1 as well?
The main difference is the Java 8 version. Maybe Oracle has introduced
new problems with the update.
Makarius
Email Gateway (Aug 22 2022 at 12:20):From: Alfio Martini <alfio.martini@acm.org>
Hi Makarius,
I have just tried the RC1 version and it works fine, as expected, not
exhibiting that very odd behavior
with respect to the current buffer file.
Also, it seems to process the theory files faster than the RC2 version. But
this is a
subjective observation.
Best!
Email Gateway (Aug 22 2022 at 12:20):From: Makarius <makarius@sketis.net>
On Thu, 28 Jan 2016, Alfio Martini wrote:
I have just tried the RC1 version and it works fine, as expected, not
exhibiting that very odd behavior with respect to the current buffer
file.
I think this is merely a matter of persistent editor options in the two
installations. Looking closely again at the screenshot, there are small
black arrows indicating split editor panes. So you merely need to unsplit
with C+0 or C+1.
Also, it seems to process the theory files faster than the RC2 version.
But this is a subjective observation.
Observations are always subjective, but they can be made more precise by
more experiments.
There could be an impact due to JVM parameters: on Windows these are in
the main Isabelle directory in the .l4j file. I've changed that a bit
between RC1 and RC2 to make it more simple and presumably more robust.
Makarius
Email Gateway (Aug 22 2022 at 12:21):From: Alfio Martini <alfio.martini@acm.org>
Hi Makarius,
I think this is merely a matter of persistent editor options in the two
Last updated: Nov 21 2024 at 12:39 UTC