Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
README 2012-03-29 15:02 2.4K
SrcFILEs.txt 2012-03-29 13:58 360
bitedemo.tex 2012-03-29 13:17 1.6K
bitelist.pdf 2012-03-29 13:57 396K
bitelist.sty 2012-03-29 13:57 11K
docsrc/ 2012-03-29 14:28 -