total 1434
-rw-rw-r--   1 server    184049 Jun 28  1999 manual.pdf
-rw-rw-r--   1 server      4163 Oct 13  1999 options.tex
-rw-rw-r--   1 server    161506 Oct 13  1999 paper.pdf
-rw-rw-r--   1 server    346068 Oct 13  1999 slides.pdf
