Name Last modified Size ![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/layout.gif){kind=icon}
authorindex.pdf 2019-07-27 23:07 53K
![[ ]](/icons/compressed.gif){kind=icon}
authorindex.tex.gz 2019-07-27 23:07 11K
NEWS.gz 2019-07-27 23:07 692
![[ ]](/icons/hand.right.gif){kind=icon}
README 2007-01-10 23:52 399
![[ ]](/icons/unknown.gif){kind=icon}
COPYING 2007-01-10 23:52 156