Re: [isabelle] Unable to Show Types



Sam TH wrote:
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?

You're most likely using an older version of ProofGeneral which is
incompatible with the development version of Isabelle. To solve the
problem, you could try to use the CVS version of ProofGeneral
(see http://proofgeneral.inf.ed.ac.uk/devel) or try the pre-release
version. If you can't get the "Settings" submenu to work, you can
also switch on "Show Types" by issuing the command

  ML "set show_types"

Greetings,
Stefan

--
Dr. Stefan Berghofer               E-Mail: berghofe at in.tum.de
Institut fuer Informatik           Phone: +49 89 289 17328
Technische Universitaet Muenchen   Fax:   +49 89 289 17307
Boltzmannstr. 3                    Room: 01.11.059
85748 Garching, GERMANY            http://www.in.tum.de/~berghofe





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