Email Gateway (Aug 23 2022 at 08:20): Email Gateway (Aug 23 2022 at 08:20):From: Makarius <makarius@sketis.net>
I have looked once again: the problem mainly due to the warning dialog,
without it the startup of the background process is too quick for the user to
interfer.
This should work more smoothly in
https://isabelle-dev.sketis.net/rISABELLEc06604896c3d --- it will be part of
the forthcoming Isabelle2020-RC1 (published next week).
Makarius
Email Gateway (Aug 23 2022 at 08:30):From: Pedro Sánchez Terraf <sterraf@famaf.unc.edu.ar>
I've downloaded the first snapshot. I experienced the following behavior
(not always but frequently):
After quitting jEdit (being called using the Isabelle2020-RC0 binary or
using isabelle jedit), the process won't return control to the terminal.
A java process seems to be still running after quitting.
Another thing, if I start using the binary, I get an error message:
Can't open /home/pedro/bin/Isabelle2020-RC0/Isabelle_app.options: No
such file or directory
I'm running on Linux 4.4.0-148-generic #174~14.04.1-Ubuntu SMP Thu May 9
08:17:37 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux.
Additionally, I'm a user of the ZF logic, and it seems that there is
typo in ZF_Base.thy. The Unicode and ASCII notation for function_space
appear to be switched (which prevents pretty-printing). I include as an
attachment the output of
diff -Naur ZF_Base.thy ZF_Base_NEW.thy,
where the second file contains the edition.
Finally, I will bother you with a pretty dumb question. Is there a
keyboard shortcut to move focus to the main buffer? The only thing I
found is to "focus on buffer switcher" and then choose the active
buffer, but the default shortcuts are impossible in my keyboard (and it
requires two steps, anyway).
Best wishes,
PST.-
diff.txt
Email Gateway (Aug 23 2022 at 08:30):From: Dominique Unruh <unruh@ut.ee>
I use Alt-PgUp. (Or Ctrl-` twice, if you have more than one file open.)
Best wishes,
Dominique.
Email Gateway (Aug 23 2022 at 08:30):From: Makarius <makarius@sketis.net>
On 18/02/2020 22:19, Pedro Sánchez Terraf wrote:
I've downloaded the first snapshot. I experienced the following behavior (not
always but frequently):After quitting jEdit (being called using the Isabelle2020-RC0 binary or using
isabelle jedit), the process won't return control to the terminal. A java
process seems to be still running after quitting.I'm running on Linux 4.4.0-148-generic #174~14.04.1-Ubuntu SMP Thu May 9
08:17:37 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux.
I have experimented a bit with Ubuntu 14.04.6 on a virtual machine with 4 CPU
cores and 8 GB RAM, SSD, but could not reproduce the problem.
It might also depend on the things you have loaded into Isabelle, e.g.
something still running prevents the application to finish.
What hardware do you have? CPU? RAM?
Note that Ubuntu 14.04.1 is really old and probably vulnerable to all kinds of
exploits: it is lagging behind updates of many years.
Another thing, if I start using the binary, I get an error message:
Can't open /home/pedro/bin/Isabelle2020-RC0/Isabelle_app.options: No such file
or directory
I've got the options file name wrong: this should be better in Isabelle2020-RC1.
Just for now, you can do the following:
cd Isabelle2020-RC0
mv Isabelle2020-RC0.options Isabelle_app.options
./Isabelle2020-RC0
This could even have an influence on the process termination problem, because
the Java VM now gets proper options.
Makarius
Email Gateway (Aug 23 2022 at 08:30):From: Pedro Sánchez Terraf <sterraf@famaf.unc.edu.ar>
El 19/2/20 a las 11:58, Makarius escribió:
On 18/02/2020 22:19, Pedro Sánchez Terraf wrote:
I'm running on Linux 4.4.0-148-generic #174~14.04.1-Ubuntu SMP Thu May 9
08:17:37 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux.
I have experimented a bit with Ubuntu 14.04.6 on a virtual machine with 4 CPU
cores and 8 GB RAM, SSD, but could not reproduce the problem.
Yes, that's my hardware setup; specifically, Intel® Core™ i3-3217U CPU @
1.80GHz × 4.
It might also depend on the things you have loaded into Isabelle, e.g.
something still running prevents the application to finish.
Thanks to this observation, I think I'm able now to reproduce it. I use
Ctrl-Q to quit right after closing the disclaimer window concerning the
preliminary character of the release.
It seems that the IDE does something (taking 4secs or so) between
closing that window and giving you control. Quitting amidst that hangs
the application in the terminal (at least for 11min in one round).
Note that Ubuntu 14.04.1 is really old and probably vulnerable to all kinds of
exploits: it is lagging behind updates of many years.
Yes, you're right. Nevertheless, I think I got some updates recently
(this distro was packaged last year, says above).
I've got the options file name wrong: this should be better in Isabelle2020-RC1.Just for now, you can do the following:
cd Isabelle2020-RC0
mv Isabelle2020-RC0.options Isabelle_app.options
./Isabelle2020-RC0This could even have an influence on the process termination problem, because
the Java VM now gets proper options.
Thanks, this eliminated the error message but the above still stands.
Best,
PST.-
Email Gateway (Aug 23 2022 at 08:31):From: Makarius <makarius@sketis.net>
I have changed this for the forthcoming Isabelle2020-RC1 here:
https://isabelle-dev.sketis.net/rISABELLE8f628d216ea1
Makarius
Email Gateway (Aug 23 2022 at 08:31):From: Makarius <makarius@sketis.net>
You need to figure out the "action" in question and then find a keyboard
shortcut that works for you and is not required elsewhere. See also the menu
"Utilities / Global Options / Shortcuts".
The "Action Bar" might also help: it shows the last action that was invoked,
via keyboard or menu. It is mapped to C+ENTER by default.
In general I recommend the "Original jEdit Documentation" at the bottom of the
Documentation panel.
Makarius
Last updated: Apr 19 2024 at 08:19 UTC