Name Last modified Size Description
Parent Directory -
utf8-to-dad.pl 19-Mar-2018 14:09 944
make-dad-font.pl 19-Mar-2018 14:09 34K
dadrealmono.tfm 19-Mar-2018 14:09 1.3K
dadrealbold.tfm 19-Mar-2018 14:09 1.6K
dadreal.tfm 19-Mar-2018 14:09 1.5K
dadmono.ovf 19-Mar-2018 14:09 84K
dadmono.ofm 19-Mar-2018 14:09 3.2M
dadmono.adjust 19-Mar-2018 14:09 8.1K
dadbold.ovf 19-Mar-2018 14:09 81K
dadbold.ofm 19-Mar-2018 14:09 3.2M
dadbold.adjust 19-Mar-2018 14:09 12K
dad.sty 19-Mar-2018 14:09 1.3K
dad.ovf 19-Mar-2018 14:09 81K
dad.ofm 19-Mar-2018 14:09 3.2M
dad.map 19-Mar-2018 14:09 91
dad.adjust 19-Mar-2018 14:09 12K
dad-user-guide.tex 19-Mar-2018 14:09 30K
dad-user-guide.pdf 19-Mar-2018 14:09 177K
dad-user-guide.bib 19-Mar-2018 14:09 7.0K
dad-to-utf8.pl 19-Mar-2018 14:09 1.1K
T1dad.fd 19-Mar-2018 14:09 1.2K
README 19-Mar-2018 14:09 3.2K
OT1dad.fd 19-Mar-2018 14:09 1.2K
Dad.pfb 19-Mar-2018 14:09 46K
Dad.afm 19-Mar-2018 14:09 13K
Dad-mono.pfb 19-Mar-2018 14:09 59K
Dad-mono.afm 19-Mar-2018 14:09 13K
Dad-bold.pfb 19-Mar-2018 14:09 52K
Dad-bold.afm 19-Mar-2018 14:09 13K
Apache/2.2 Server at ftp.ntua.gr Port 80