Email Gateway (Aug 18 2022 at 20:10): Email Gateway (Aug 18 2022 at 20:10):From: Christian Sternagel <c-sterna@jaist.ac.jp>
Dear all,
recently I noticed that
isabelle jedit -l Logic file
does no longer work as is. (In addition to giving the flag I have to
adapt the pull-down menu that is part of the "Prover Session" panel...
but this change takes only effect after the next start... so essentially
I have to start jedit twice in order to change the logic image.)
Does anybody experience similar problems?
cheers
chris
Email Gateway (Aug 18 2022 at 20:10):From: Lars Noschinski <noschinl@in.tum.de>
The -l option only works if the logic in the pull-down method is set to
"default".
-- Lars
Email Gateway (Aug 18 2022 at 20:10):From: Christian Sternagel <c-sterna@jaist.ac.jp>
Thanks! That explains everything ;). (Nevertheless I would rather expect
a command line flag to overwrite any persistent user settings.)
cheers
chris
Email Gateway (Aug 18 2022 at 20:17):From: Makarius <makarius@sketis.net>
The -l option is a bit old-fashioned in imitating classic Proof General:
it only changes the meaning of "default", as Lars has observed.
This should have been the same behaviour in Isabelle/jEdit for
Isabelle2011, Isabelle2011-1, Isabelle2012. Nonetheless, it should become
better at some stage. It is just not the most painful inconvenience of
Isabelle/jEdit, so it has a lower priotity in the pipeline.
Selection of sessions has further conceptual inconveniences that need to
be overcome at some point, i.e. it should be somehow determined
automatically from the project that you open.
Makarius
Last updated: May 06 2024 at 20:16 UTC