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
Isabelle2005.

 - 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.