% 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.