[isabelle] Unable to Show Types



I'm using the development version of Isabelle, along with Proof
General, and I don't have the ability to turn on "Show Types".  There
isn't any "Settings" submenu under the "Isabelle" menu.

Is this a known issue with the development version?  Is there a
workaround?  Is there something else I should be doing?

Thanks,

--
sam th
samth at ccs.neu.edu





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