Changeset 3887 for trunk/configs
- Timestamp:
- 10/19/07 16:25:57 (15 months ago)
- Files:
-
- 1 modified
-
trunk/configs/xsb.config (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/configs/xsb.config
r3874 r3887 4 4 % Release 2.30.6 5 5 % 6 % configuration file for XSB 3.1 or later version (single-threaded)7 % 8 % last updated: October 8, 20076 % configuration file for XSB 3.1 or later version 7 % 8 % last updated: October 20, 2007 9 9 % 10 10 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% … … 63 63 64 64 65 % call_cleanup(+callable, +callble) 66 67 call_cleanup(_, _) :- 68 throw(not_supported(call_cleanup/2)). 65 % call_cleanup(+callable, +callble) -- built-in 69 66 70 67
