Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
usrguide.pdf 2000-09-19 13:57 193K
usrguide.dvi 2000-09-19 13:57 28K
template.tex 2000-09-19 13:57 3.4K
svprobth.clo 2000-09-19 13:57 8.5K
svjour.cls 2000-09-19 13:57 41K
readme.txt 2000-09-19 13:57 1.2K
ptrfguid.tex 2000-09-19 13:57 3.0K
ptrfguid.pdf 2000-09-19 13:57 44K
ptrfguid.dvi 2000-09-19 13:57 4.4K