[isabelle] Show types



Hi all,

I want to turn on Isabelle -> Settings -> Display -> Show Types
in ProofGeneral by (emacs) lisp command.
Let me know which command makes the switch on.

Hidetsune

-- 
Hidetsune Kobayashi
Institute of Computational Logic,






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