Re: [isabelle] PDFs for HOL-BNF? Tutorials for transfer, lifting, and quotients?
On 11/6/2013 10:45 AM, Makarius wrote:
It should work after running the batch file
Isabelle2013-1-RC3\Cygwin-Latex-Setup and waiting patiently untile
approx. 500 MB disk space is filled up.
Then you can produce session documents like this (via Cygwin-Terminal):
isabelle build -o browser_info -o document=pdf -v HOL-Library
For already built sessions without generated document, you might need
option -c as well.
Thanks. I'll try that someday, but I've gotten quite a ways without
doing much of that, except in the beginning.
This archive was generated by a fusion of
Pipermail (Mailman edition) and