Menu

Commit [r762]  Maximize  Restore  History

bootstrap_package: don't issue an error, if package is loaded. Fail instead.

kifer 1999-05-19

changed /trunk/XSB/lib/packaging.P
/trunk/XSB/lib/packaging.P Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB