[isabelle] document preparation



Hi,

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

   \input{session}

- Gergely




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