Changeset 4106 for trunk/configs
- Timestamp:
- 02/22/08 16:22:13 (11 months ago)
- Files:
-
- 1 modified
-
trunk/configs/xsb.config (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/configs/xsb.config
r4105 r4106 6 6 % configuration file for XSB 3.1 or later version 7 7 % 8 % last updated: February 2 2, 20088 % last updated: February 23, 2008 9 9 % 10 10 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% … … 14 14 :- import numbervars/3 from num_vars. 15 15 :- import expand_atom/2 from standard. 16 :- import call/2, call/3, call/4, call/5, call/6, call/7, call/8, call/9 from standard.17 16 18 17
