Changeset 4580 for trunk/configs/xsb.config
- Timestamp:
- 11/07/08 16:33:23 (2 months ago)
- Files:
-
- 1 modified
-
trunk/configs/xsb.config (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/configs/xsb.config
r4572 r4580 12 12 % configuration file for XSB 3.1 or later version 13 13 % 14 % last updated: October 28, 200814 % last updated: November 7, 2008 15 15 % 16 16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% … … 167 167 % 168 168 % default values for all flags 169 170 '$lgt_default_flag'(prolog, xsb). 169 171 170 172 '$lgt_default_flag'(xmldocs, on).
