Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
unitipa.ins 2021-10-20 18:43 1.6K
README.txt 2021-10-20 19:59 1.9K
CMU-serif.tex 2021-10-20 19:58 4.5K
unitipa.dtx 2021-10-20 19:59 18K
CMU-serif.pdf 2021-10-20 19:58 24K
gfdl.tex 2021-10-20 19:42 25K
COPYING 2021-10-20 20:00 34K
unitipa.pdf 2021-10-20 19:51 131K