Email Gateway (Nov 07 2025 at 17:13): Email Gateway (Nov 07 2025 at 17:13):From: "Eugene W. Stark" <isabelle-users@starkeffect.com>
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
Last updated: Nov 09 2025 at 20:21 UTC