XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

Commit [r9290] Maximize Restore History

Keep printing out idg info even if we can't find the subgoal associated with the key. I don't know where the bug is,

and still need to find it.

Authored by: tswift 2018-05-14

Parent: [r9289]

changed	/trunk/XSB/syslib/tables.P
changed	/trunk/XSB/syslib/tables.xwam

Binary file was changed.