Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443
Parent Directory - README 2020-10-04 21:15 9.4K tex/ 2020-10-04 19:50 - enc/ 2017-05-20 00:33 - src/ 2017-05-16 21:45 - tfm/ 2017-05-16 06:19 - map/ 2017-04-08 02:37 - doc/ 2017-03-11 22:01 - vf/ 2016-12-25 19:04 - type1/ 2016-12-24 03:04 - afm/ 2015-03-17 23:26 -