XSB Src (SVN)-old

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

Commit [r2673] Maximize Restore History

added quotes in flora_gpp_dumpfile to ensure that filenames are dumped

quoted.

Authored by: kifer 2001-10-01

Browse code at this revision

Parent: [r2672]

Child: [r2674]

changed

/trunk/XSB/packages/flora2/flrutils.P

/trunk/XSB/packages/flora2/flrutils.P Diff Switch to side-by-side view