This commit was manufactured by cvs2svn to create tag 'xsb-9-1-b4-2'.
Authored by: --none-- 1998-11-09
Parent: [r55]
Child: [r57]