> 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
