[isabelle] how to transform *.thy to *.pdf in Isabelle?



I don't know how to transform a file(*.thy) to a file(*.pdf) in Isabelle? I did it at one time, but now forget.
I need you help.Thanks!
                                       yucy





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