% From danny@cs.huji.ac.il Wed Jun 10 1992. Jerusalem, TelAviv, OldJaffa and DeadSea are downloadable, and stay till you reset the printer. the *.pfb files pertain to the same fonts; they have been fixed to be used with dvips postscript downloading option.