Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - bgteucls.dtx 2017-05-04 23:32 201K ptmxcomp.sty 2017-05-04 23:32 8.9K testquick.tex 2017-05-04 23:32 7.7K ChangeLog 2017-05-04 23:32 7.1K Makefile 2017-05-04 23:32 5.0K bgteucls.ins 2017-05-04 23:32 4.3K getversion.tex 2017-05-04 23:32 147