[isabelle] documentation



Dear Isabelle users,

I have been trying to make the pdf documentation for my theory. 
After i creat my session called StefSession, to the command:
 
$ /usr/local/Isabelle/bin/isatool usedir -v true -i true -d pdf HOL StefSession

i get the following :

Running HOL-StefSession ...
Browser info at /home/stefania/isabelle/browser_info/HOL/StefSession
HOL-StefSession FAILED
(see also /home/stefania/isabelle/heaps/Isabelle2008/polyml_x86-cygwin/log/HOL-S
tefSession)

xmf/fonts/type1/bluesky/cm/cmsy10.pfb></usr/share/texmf/fonts/type1/bluesky/cm/
cmmi10.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmr10.pfb></usr/share/texmf
/fonts/type1/bluesky/cm/cmti10.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmb
x10.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmbx12.pfb></usr/share/texmf/f
onts/type1/bluesky/cm/cmr12.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmr17.
pfb>
Output written on root.pdf (266 pages, 859174 bytes).
Transcript written on root.log.
Document preparation failure in directory '/home/stefania/isabelle/browser_info/
HOL/StefSession/document'
*** No document: "/home/stefania/isabelle/browser_info/HOL/StefSession/document.
pdf"

Has anyone a solution for this error?

The second question i have is related with the keyword "includes"  that exists in the 2008 version but is not anymore in 2009. Does it have a replacement?

Thank you in advance!

Stefania



      




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