1) Adds the concept of module "configuration" properties which do not affect deferred-binding decisions and may be set to any string value.  These configuration properties are exposed to Generators and Linkers as a means of providing global configuration information.

Example:
 <set-configuration-property name="someName" value="Any string value" />

Rules:
 - There is no need to pre-define the property, they can simply be declared.
 - Last-one-wins.
 - It is an error to have a <define-property> and <set-configuration-property> with the same name.
 - The name must be a valid identifier, but the value may be any string value.

2) Expands the scope of <set-property> to allow multiple values to be specified instead of only one value; only the specified value(s) will be permuted over.

Patch by: bobv (+scottb pair prog)
Review by: scottb (pair prog)


git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@3652 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/distro-source/core/src/gwt-module.dtd b/distro-source/core/src/gwt-module.dtd
index 1baa502..9f83e3e 100644
--- a/distro-source/core/src/gwt-module.dtd
+++ b/distro-source/core/src/gwt-module.dtd
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!--                                                                        -->
-<!-- Copyright 2007 Google Inc.                                             -->
+<!-- Copyright 2008 Google Inc.                                             -->
 <!-- Licensed under the Apache License, Version 2.0 (the "License"); you    -->
 <!-- may not use this file except in compliance with the License. You may   -->
 <!-- may obtain a copy of the License at                                    -->
@@ -16,8 +16,8 @@
 <!-- The module root element -->
 <!ELEMENT module (inherits | source | public | super-source | entry-point | 
   stylesheet | script | servlet | replace-with | generate-with |
-  define-property | extend-property | set-property | property-provider |
-  define-linker | add-linker)*>
+  define-property | extend-property | set-property | set-configuration-property |
+  property-provider | define-linker | add-linker)*>
 <!ATTLIST module
 	rename-to CDATA #IMPLIED
 >
@@ -89,14 +89,14 @@
 <!ELEMENT add-linker EMPTY>
 <!-- A comma-separated list of linker names -->
 <!ATTLIST add-linker
-  name CDATA #REQUIRED
+	name CDATA #REQUIRED
 >
 
 <!-- Defines a Linker type to package compiler output -->
 <!ELEMENT define-linker EMPTY>
 <!ATTLIST define-linker
-  class CDATA #REQUIRED
-  name CDATA #REQUIRED
+	class CDATA #REQUIRED
+	name CDATA #REQUIRED
 >
 
 <!--                 ^^^ Commonly-used elements ^^^                -->
@@ -114,6 +114,12 @@
 	name CDATA #REQUIRED
 	value CDATA #REQUIRED
 >
+<!-- Set the value of a configuration property -->
+<!ELEMENT set-configuration-property EMPTY>
+<!ATTLIST set-configuration-property
+	name CDATA #REQUIRED
+	value CDATA #REQUIRED
+>
 <!-- Add additional allowable values to a property -->
 <!ELEMENT extend-property EMPTY>
 <!ATTLIST extend-property