Re: [isabelle] document preparation

> I got an empty root.pdf in output/document, having the title and
> Contents. What else should I do so that my theory would appear in the
> output?

The problem was in ROOT where I put my theory name into the first
theories section with [document=false].

This leads to another question: now everything from the theory is
typeset. Can I suppress parts, or there is another way to typeset only
needed parts?

- Gergely

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