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