Changeset 4291
- Timestamp:
- 05/30/08 13:17:15 (4 months ago)
- Location:
- trunk/configs
- Files:
-
- 2 modified
-
cx.config (modified) (1 diff)
-
xsb.config (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/configs/cx.config
r4289 r4291 219 219 220 220 '$lgt_default_flag'(encoding_directive, source). 221 '$lgt_default_flag'(multifile_directive, supported). 221 222 '$lgt_default_flag'(threads, unsupported). 222 223 -
trunk/configs/xsb.config
r4289 r4291 195 195 196 196 '$lgt_default_flag'(encoding_directive, unsupported). 197 '$lgt_default_flag'(multifile_directive, unsupported).197 '$lgt_default_flag'(multifile_directive, supported). 198 198 '$lgt_default_flag'(threads, Threads) :- 199 199 ( xsb_configuration(engine_mode, 'multi-threading') ->
