Changeset 4580 for trunk/configs/eclipse6.config
- Timestamp:
- 11/07/08 16:33:23 (2 months ago)
- Files:
-
- 1 modified
-
trunk/configs/eclipse6.config (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/configs/eclipse6.config
r4572 r4580 12 12 % configuration file for ECLiPSe 6.0#37 and later versions 13 13 % 14 % last updated: October 20, 200814 % last updated: November 7, 2008 15 15 % 16 16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% … … 283 283 % default values for all flags 284 284 285 '$lgt_default_flag'(prolog, eclipse). 286 285 287 '$lgt_default_flag'(xmldocs, on). 286 288 '$lgt_default_flag'(xslfile, 'lgtxml.xsl').
