[isabelle] jEdit: -l flag

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?



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.