K 10
svn:author
V 6
murray
K 8
svn:date
V 27
2001-10-13T23:01:14.000000Z
K 7
svn:log
V 75
Mention that we use TeX, LaTeX, and JadeTeX to produce the printed output.

END
