[isabelle] generate- pdf
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,
This archive was generated by a fusion of
Pipermail (Mailman edition) and