next up previous contents index
Next: Entering and Exiting XSB Up: The XSB System Version Previous: Exiting XSB   Contents   Index


System Description

Throughout this chapter, we use $XSB_DIR to refer to the directory in which XSB was installed.


Subsections
Baoqiu Cui
2000-04-23