[isabelle] ML/Isabelle Flags



Hi!
I am new to Isabelle (and ML) and have two questions:

1. Where do I enter the command

ML "set show_types"

in tty and ProofGeneral (not using the menü)?

In tty I get this error:
*** Illegal application of command "ML" at top level
*** At command "ML"

in Proofgeneral this error:
*** Illegal application of command "ML" at top level
*** At command "ML"

2. Where could I have read this information?

Thanks





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