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
Luis Fernando P. de Castro
2003-06-27