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
<^const>
Jens

---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.