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