Re: [isabelle] Document Typesetting

Good an idea,

I wonder if we could have a merge of the Latech and the Isabelle formatting sublanguages. I am also in need of a complete definition of control sequences like

---Elsa L. Gunter wrote ----
In particular, I would like to typeset constants (and type constructors) in a different font than that used for variables.

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