Re: [isabelle] "Settings" menu in Proof General

It's still where it was but will only appear once Isabelle is started.
If you don't see it, check that you are running a version of PG which supports

 - D.

Oliver Pell wrote:
> 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.