Email Gateway (Nov 20 2025 at 09:19): Email Gateway (Nov 20 2025 at 09:19):From: "Eugene W. Stark" <isabelle-users@starkeffect.com>
I previously (Nov 7) posted the following issue with Isabelle2025-1-RC1.
I just downloaded Isabelle2025-1-RC2 and the issue seemingly remains.
This is an extreme inconvenience when going back and forth between theories,
say to move code from one-to-another. Almost a show-stopper for me, but certainly
a constant irritant.
- Gene Stark
I have noticed a change to a less convenient behavior in Isabelle/JEdit in Isabelle2025-RC1-1
as compared to Isabelle2025. When you switch between theories by double-clicking a theory
in the "Theories" panel, the cursor is placed at the beginning of the theory, rather than at
the last previously accessed position in that theory, as Isabelle2025 and previous releases did.I am running Isabelle2025-RC1-1 on Ubuntu 22.04 via Remmina/xdrp.
- Gene Stark
Email Gateway (Nov 20 2025 at 09:38):From: Peter Lammich <lammich@in.tum.de>
I second Eugene's request. Checking that this has been fixed was
actually No1 on my TODO list for RC2
--
Peter
On 19/11/2025 23:17, Eugene W. Stark wrote:
I previously (Nov 7) posted the following issue with Isabelle2025-1-RC1.
I just downloaded Isabelle2025-1-RC2 and the issue seemingly remains.This is an extreme inconvenience when going back and forth between theories,
say to move code from one-to-another. Almost a show-stopper for me, but certainly
a constant irritant.- Gene Stark
I have noticed a change to a less convenient behavior in Isabelle/JEdit in Isabelle2025-RC1-1
as compared to Isabelle2025. When you switch between theories by double-clicking a theory
in the "Theories" panel, the cursor is placed at the beginning of the theory, rather than at
the last previously accessed position in that theory, as Isabelle2025 and previous releases did.I am running Isabelle2025-RC1-1 on Ubuntu 22.04 via Remmina/xdrp.
- Gene Stark
Email Gateway (Dec 01 2025 at 17:45):From: Makarius <makarius@sketis.net>
On 19/11/2025 23:17, Eugene W. Stark wrote:
I previously (Nov 7) posted the following issue with Isabelle2025-1-RC1.
I just downloaded Isabelle2025-1-RC2 and the issue seemingly remains.This is an extreme inconvenience when going back and forth between theories,
say to move code from one-to-another. Almost a show-stopper for me, but certainly
a constant irritant.
I've addressed that in RC3.
The deeper reason for these problems are the replacement of the old Navigator
plugin of jEdit, by our own Isabelle_Navigator in Isabelle/jEdit.
The former plugin was very complex and convoluted: I did not imitate all of
its details, but might still have forgotten something important.
The window of opportunity to refine it further is approx. 2 weeks, before the
release becomes final.
Makarius
Last updated: Dec 02 2025 at 16:32 UTC