XSB Src (SVN)-old

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

Commit [r850] Maximize Restore History

use bootstrap_flora/0 instead of bootstrap_package/2, since this adds

version info to the package more uniformly.

Authored by: kifer 1999-06-11

Browse code at this revision

Parent: [r849]

Child: [r851]

changed

/trunk/XSB/packages/flora/closure/flrheader.P

/trunk/XSB/packages/flora/closure/flrheader.P Diff Switch to side-by-side view