<module>

      <!-- Inherit the core Web Toolkit stuff.                        -->
      <inherits name="com.google.gwt.user.User" />

      <inherits name="se.chalmers.cs.gf.gwt.PGF" />

      <!-- Inherit the default GWT style sheet.  You can change       -->
      <!-- the theme of your GWT application by uncommenting          -->
      <!-- any one of the following lines.                            -->
      <inherits name="com.google.gwt.user.theme.standard.Standard"/>
      <!-- <inherits name="com.google.gwt.user.theme.chrome.Chrome"/> -->
      <!-- <inherits name="com.google.gwt.user.theme.dark.Dark"/>     -->

      <!-- Other module inherits                                      -->


      <!-- Specify the app entry point class.                         -->
      <entry-point class="se.chalmers.cs.gf.gwt.client.TranslateApp" />
    
      <!-- Specify the application specific style sheet.              -->
      <stylesheet src="Translate.css" />
	
</module>
