Run
Loading...
PDF
stdout
stderr
---- ---- ---- ---- target file: 'output.pdf' dump file: 'input.satysfi-aux' (will be created) parsing 'input.saty' ... parsing 'stdjabook.satyh' ... parsing 'pervasives.satyh' ... parsing 'gr.satyh' ... parsing 'geom.satyh' ... parsing 'list.satyg' ... parsing 'option.satyg' ... parsing 'math.satyh' ... parsing 'code.satyh' ... parsing 'color.satyh' ... parsing 'vdecoset.satyh' ... parsing 'annot.satyh' ... parsing 'footnote-scheme.satyh' ... parsing 'itemize.satyh' ... ---- ---- ---- ---- type checking 'color.satyh' ... type check passed. ---- ---- ---- ---- type checking 'pervasives.satyh' ... type check passed. ---- ---- ---- ---- type checking 'option.satyg' ... type check passed. ---- ---- ---- ---- type checking 'geom.satyh' ... type check passed. ---- ---- ---- ---- type checking 'list.satyg' ... type check passed. ---- ---- ---- ---- type checking 'gr.satyh' ... type check passed. ---- ---- ---- ---- type checking 'annot.satyh' ... type check passed. ---- ---- ---- ---- type checking 'footnote-scheme.satyh' ... type check passed. ---- ---- ---- ---- type checking 'itemize.satyh' ... type check passed. ---- ---- ---- ---- type checking 'math.satyh' ... type check passed. ---- ---- ---- ---- type checking 'vdecoset.satyh' ... type check passed. ---- ---- ---- ---- type checking 'code.satyh' ... type check passed. ---- ---- ---- ---- type checking 'stdjabook.satyh' ... type check passed. ---- ---- ---- ---- type checking 'input.saty' ... type check passed. (document) preprocessing 'color.satyh' ... preprocessing 'pervasives.satyh' ... evaluating 'option.satyg' ... preprocessing 'geom.satyh' ... evaluating 'list.satyg' ... preprocessing 'gr.satyh' ... preprocessing 'annot.satyh' ... preprocessing 'footnote-scheme.satyh' ... preprocessing 'itemize.satyh' ... preprocessing 'math.satyh' ... preprocessing 'vdecoset.satyh' ... preprocessing 'code.satyh' ... preprocessing 'stdjabook.satyh' ... preprocessing 'input.saty' ... evaluating 'color.satyh' ... evaluating 'pervasives.satyh' ... evaluating 'geom.satyh' ... evaluating 'gr.satyh' ... evaluating 'annot.satyh' ... evaluating 'footnote-scheme.satyh' ... evaluating 'itemize.satyh' ... evaluating 'math.satyh' ... evaluating 'vdecoset.satyh' ... evaluating 'code.satyh' ... evaluating 'stdjabook.satyh' ... ---- ---- ---- ---- evaluating texts ... evaluation done. ---- ---- ---- ---- breaking contents into pages ... needs another trial for solving cross references... ---- ---- ---- ---- evaluating texts (2nd trial) ... evaluation done. ---- ---- ---- ---- breaking contents into pages ... all cross references were solved. ---- ---- ---- ---- embedding fonts ... ---- ---- ---- ---- writing pages ... ---- ---- ---- ---- output written on 'output.pdf'.