[isabelle] "Settings" menu in Proof General



Hi,

Has the "settings" menu option in Isabelle Proof General, that was under the Isabelle/Isar menu, changed position in Isabelle2005? Mine appears to have disappeared... Or does anyone know how to bring it back?

Thanks,

Oliver.





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