Sorry: they are in papers/styles Hmm. Shall I copy them into haskell-report/ too? Where? In the ffi directory, or in haskell-report/styles?
S | -----Original Message----- | From: Alastair Reid [mailto:[EMAIL PROTECTED]] | Sent: 09 January 2003 22:30 | To: Simon Peyton Jones | Cc: [EMAIL PROTECTED] | Subject: Re: cvs commit: haskell-report/ffi Makefile threads.tex | | | > Add threads document | | Can you add code.{sty,tex} and proof.{tex,sty} too? | | -- | Alastair | | $ make | latex threads.tex | This is TeX, Version 3.14159 (Web2C 7.3.9) | (./threads.tex | LaTeX2e <2001/06/01> | Babel <v3.7h> and hyphenation patterns for american, french, german, ngerman, n | ohyphenation, loaded. | (/usr/share/texmf/tex/latex/base/article.cls | Document Class: article 2001/04/21 v1.4e Standard LaTeX document class | (/usr/share/texmf/tex/latex/base/size10.clo)) | | ! LaTeX Error: File `proof.sty' not found. | | Type X to quit or <RETURN> to proceed, | or enter new name. (Default extension: sty) | | Enter file name: | | ! LaTeX Error: File `code.sty' not found. | | Type X to quit or <RETURN> to proceed, | or enter new name. (Default extension: sty) | | Enter file name: | No file threads.aux. | ! Undefined control sequence. | l.33 \makeatactive | | ? | (/usr/share/texmf/tex/latex/base/omscmr.fd) [1] | ! Undefined control sequence. | l.115 \infer | {\NS \cup \{t\} ; \HS ~\Rightarrow~ \NS' \cup \{t\}; \HS'} | ? | ! Undefined control sequence. | l.118 \infer | {\NS ; \HS \cup \{h\} ~\Rightarrow~ \NS'; \HS' \cup \{h\}} | ? X | Output written on threads.dvi (1 page, 2320 bytes). | Transcript written on threads.log. | make: *** [threads.ps] Error 1 _______________________________________________ Cvs-other mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/cvs-other
