Email Gateway (Aug 19 2022 at 14:23): Email Gateway (Aug 19 2022 at 14:23):From: "Yannick Duchêne (Hibou57 )" <yannick_duchene@yahoo.fr>
Hi proof authors,
(not sure if it was already asked)
When launching Isabelle/jEdit from the command line with the -l option,
in jEdit logic cessions list, the cession specified at the command line is
said to be the default (first item in this list), which is OK. However,
the initially selected cession in this list, is not the default one and
may be another one instead, the one which was selected during a previous
execution of Isabelle/jEdit. Is this on purpose? Isn't it confusing?
It works fine, that's just about what the UI reflects (does not clearly
show what the current logic cession is).
Last updated: Apr 18 2024 at 16:19 UTC