[isabelle] document preparation


I called

  isabelle mkroot -d

and then put MyTheory into the file ROOT. Upon

  isabelle build -D .

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? document/root.tex has


- Gergely

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