Changeset 4289 for trunk/configs/quintus.config
- Timestamp:
- 05/30/08 06:47:50 (7 months ago)
- Files:
-
- 1 modified
-
trunk/configs/quintus.config (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/configs/quintus.config
r4283 r4289 6 6 % configuration file for Quintus Prolog 3.3~3.5 7 7 % 8 % last updated: January 23, 20088 % last updated: May 30, 2008 9 9 % 10 10 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% … … 243 243 244 244 '$lgt_default_flag'(encoding_directive, unsupported). 245 '$lgt_default_flag'(multifile_directive, supported). 245 246 '$lgt_default_flag'(threads, unsupported). 246 247
