[isabelle] jEdit: -l flag
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?
This archive was generated by a fusion of
Pipermail (Mailman edition) and