[isabelle] generate- pdf



Dear all,

I have tried to make pdf file for Isabelle theories. And i have some questions.

First, is this also possible under Windows?  

In the http://www.cl.cam.ac.uk/research/hvg/Isabelle/faq.html i found out it is possible to make a so called heap image.
That will be very useful for me when i make the pdfs. but until now i could not make it work.
 Can someone be more specific and explain to me in more details how to do it? 

Thank you very much,
Stefania Barzan



      




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