[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?

cheers

chris





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