Wed Sep 17 17:53:24 1997  Akim Demaille  <demaille@gargantua.enst.fr>

	* base.ps (currentfontsize): New function, used in boxing and
 	backgrounding of a string.

Wed Sep 17 17:49:05 1997  Akim Demaille  <demaille@gargantua.enst.fr>

	* base.ps (reencode_font): Was from reencode_font_good.

