> Building Collections ...
> Warning - Unable to increase stack - interrupting thread
> Warning - Unable to increase stack - interrupting thread
> Warning - Unable to increase stack - interrupting thread
> Warning - Unable to increase stack - interrupting thread
> ### Document preparation for session "Collections" without 'document_files'
> Collections FAILED
> (see also
> /mnt/home/haftmann/data/isabelle/devel/heaps/polyml-5.5.1_x86-linux/log/Collections)
>
> *** Package hyperref Warning: old toc file detected, not used; run LaTeX
> again.
> ***
> *** [2]
> ***
> *** ! LaTeX Error: File `ICF_Userguide.tex' not found.
> ***
> *** Type X to quit or <RETURN> to proceed,
> *** or enter new name. (Default extension: tex)
> ***
> *** Enter file name:
> *** ! Emergency stop.
> *** <read *>
> ***
> *** l.55 \input{ICF_Userguide}
> *** ^^M
> *** ! ==> Fatal error occurred, no output PDF file produced!
> *** Transcript written on root_userguide.log.
> *** Document preparation failure in directory
> '/mnt/home/haftmann/data/isabelle/devel/browser_info/AFP/Collections/userguide'
> ***
> *** Failed to build document
> "/mnt/home/haftmann/data/isabelle/devel/browser_info/AFP/Collections/userguide.pdf"
Any ideas?
Florian
--
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
