Changeset 4580 for trunk/configs/eclipse5.config
- Timestamp:
- 11/07/08 16:33:23 (2 months ago)
- Files:
-
- 1 modified
-
trunk/configs/eclipse5.config (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/configs/eclipse5.config
r4572 r4580 12 12 % configuration file for ECLiPSe 5.10#26 and later versions 13 13 % 14 % last updated: October 20, 200814 % last updated: November 7, 2008 15 15 % 16 16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% … … 289 289 % default values for all flags 290 290 291 '$lgt_default_flag'(prolog, eclipse). 292 291 293 '$lgt_default_flag'(xmldocs, on). 292 294 '$lgt_default_flag'(xslfile, 'lgtxml.xsl').
