<commit_before><?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.2"?>
<plugin>

<!--              -->
<!-- Application  -->
<!--              -->
   <extension
         id="org.lamport.tla.toolbox.application"
         point="org.eclipse.core.runtime.applications">
      <application>
         <run
               class="org.lamport.tla.toolbox.Application">
         </run>
      </application>
   </extension>
<!--              -->
<!-- Product      -->
<!--              -->
   <extension
         id="product"
         point="org.eclipse.core.runtime.products">
      <product
            application="org.lamport.tla.toolbox.application"
            name="TLA+ Toolbox">
         <property
               name="windowImages"
               value="icons/full/etool16/tla_launch_check_wiz.gif">
         </property>
         <property
               name="aboutText"
               value="TLA+ Toolbox provides a user interface for TLA+ Tools. &#x0D;&#x0A;Version 1.1.0 of 5 February 2010&#x0D;&#x0A;Don&apos;t forget to click on help.  You can learn about features that you never knew about or have forgotten.&#x0D;&#x0A;Please send us reports of problems or suggestions; see http://www.tlaplus.net .">
         </property>
         <property
               name="aboutImage"
               value="splash_small.bmp">
         </property>
         <property
               name="appName"
               value="TLA+ Toolbox">
         </property>
         <property
               name="startupProgressRect"
               value="5,275,445,15">
         </property>
         <property
               name="preferenceCustomization"
               value="plugin_customization.ini">
         </property>
      </product>
   </extension>
   
   <!--       -->
   <!-- Intro -->
   <!--       -->
   <extension
         point="org.eclipse.ui.intro">
      <intro
            class="org.eclipse.ui.intro.config.CustomizableIntroPart"
            id="org.lamport.tla.toolbox.product.standalone.intro">
      </intro>
      <introProductBinding
            introId="org.lamport.tla.toolbox.product.standalone.intro"
            productId="org.lamport.tla.toolbox.product.standalone.product">
      </introProductBinding>
   </extension>
   <extension
         point="org.eclipse.ui.intro.config">
      <config
            introId="org.lamport.tla.toolbox.product.standalone.intro"
            content="introContent.xml"
            id="org.lamport.tla.toolbox.product.standalone.intro.configId">
         <presentation
               home-page-id="root">
            <implementation
                  kind="html"
                  os="win32,linux,macosx">
            </implementation>
         </presentation>
      </config>
   </extension>
   <extension
         point="org.eclipse.ui.intro.configExtension">
      <configExtension
            content="ext.xml"
            configId="org.lamport.tla.toolbox.product.standalone.intro.configId">
      </configExtension>
   </extension>
   
   
   <!-- Navogator -->
   <!--
   <extension
         point="org.eclipse.ui.navigator.viewer">
      <viewerActionBinding
            viewerId="toolbox.view.Navigator">
         <includes>
            <actionExtension
                  pattern="org.eclipse.ui.navigator.resources.*">
            </actionExtension></includes>
      </viewerActionBinding>
      <viewerContentBinding
            viewerId="toolbox.view.Navigator">
         <includes>
            <contentExtension
                  pattern="org.eclipse.ui.navigator.resourceContent">
            </contentExtension>
            <contentExtension
                  pattern="org.eclipse.ui.navigator.resources.linkHelper">
            </contentExtension>
            <contentExtension
                  pattern="org.eclipse.ui.navigator.resources.filters.*">
            </contentExtension>
            <contentExtension
                  pattern="org.eclipse.ui.navigator.resources.workingSets">
            </contentExtension>
         </includes>
      </viewerContentBinding>
   </extension>    
   <extension
         point="org.eclipse.ui.views">
      <view
            class="org.eclipse.ui.navigator.CommonNavigator"
            id="toolbox.view.Navigator"
            name="Spec Navigator"
            restorable="true">
      </view>
   </extension>
 -->   
</plugin>
<commit_msg>changed "aboutText".  Not sure if that did anything.<commit_after><?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.2"?>
<plugin>

<!--              -->
<!-- Application  -->
<!--              -->
   <extension
         id="org.lamport.tla.toolbox.application"
         point="org.eclipse.core.runtime.applications">
      <application>
         <run
               class="org.lamport.tla.toolbox.Application">
         </run>
      </application>
   </extension>
<!--              -->
<!-- Product      -->
<!--              -->
   <extension
         id="product"
         point="org.eclipse.core.runtime.products">
      <product
            application="org.lamport.tla.toolbox.application"
            name="TLA+ Toolbox">
         <property
               name="windowImages"
               value="icons/full/etool16/tla_launch_check_wiz.gif">
         </property>
         <property
               name="aboutText"
               value="TLA+ Toolbox provides a user interface for TLA+ Tools. &#x0A;Version 1.1.0 of 5 February 2010&#x0A;Don&apos;t forget to click on help.  You can learn about features that you never knew about or have forgotten.&#x0A;Please send us reports of problems or suggestions; see http://www.tlaplus.net .">
         </property>
         <property
               name="aboutImage"
               value="splash_small.bmp">
         </property>
         <property
               name="appName"
               value="TLA+ Toolbox">
         </property>
         <property
               name="startupProgressRect"
               value="5,275,445,15">
         </property>
         <property
               name="preferenceCustomization"
               value="plugin_customization.ini">
         </property>
      </product>
   </extension>
   
   <!--       -->
   <!-- Intro -->
   <!--       -->
   <extension
         point="org.eclipse.ui.intro">
      <intro
            class="org.eclipse.ui.intro.config.CustomizableIntroPart"
            id="org.lamport.tla.toolbox.product.standalone.intro">
      </intro>
      <introProductBinding
            introId="org.lamport.tla.toolbox.product.standalone.intro"
            productId="org.lamport.tla.toolbox.product.standalone.product">
      </introProductBinding>
   </extension>
   <extension
         point="org.eclipse.ui.intro.config">
      <config
            introId="org.lamport.tla.toolbox.product.standalone.intro"
            content="introContent.xml"
            id="org.lamport.tla.toolbox.product.standalone.intro.configId">
         <presentation
               home-page-id="root">
            <implementation
                  kind="html"
                  os="win32,linux,macosx">
            </implementation>
         </presentation>
      </config>
   </extension>
   <extension
         point="org.eclipse.ui.intro.configExtension">
      <configExtension
            content="ext.xml"
            configId="org.lamport.tla.toolbox.product.standalone.intro.configId">
      </configExtension>
   </extension>
   
   
   <!-- Navogator -->
   <!--
   <extension
         point="org.eclipse.ui.navigator.viewer">
      <viewerActionBinding
            viewerId="toolbox.view.Navigator">
         <includes>
            <actionExtension
                  pattern="org.eclipse.ui.navigator.resources.*">
            </actionExtension></includes>
      </viewerActionBinding>
      <viewerContentBinding
            viewerId="toolbox.view.Navigator">
         <includes>
            <contentExtension
                  pattern="org.eclipse.ui.navigator.resourceContent">
            </contentExtension>
            <contentExtension
                  pattern="org.eclipse.ui.navigator.resources.linkHelper">
            </contentExtension>
            <contentExtension
                  pattern="org.eclipse.ui.navigator.resources.filters.*">
            </contentExtension>
            <contentExtension
                  pattern="org.eclipse.ui.navigator.resources.workingSets">
            </contentExtension>
         </includes>
      </viewerContentBinding>
   </extension>    
   <extension
         point="org.eclipse.ui.views">
      <view
            class="org.eclipse.ui.navigator.CommonNavigator"
            id="toolbox.view.Navigator"
            name="Spec Navigator"
            restorable="true">
      </view>
   </extension>
 -->   
</plugin>

{'fraction_non_alphanumeric': 0.127321249861003, 'fraction_numerical': 0.006783053486044702, 'mean_word_length': 1.5956709956709956, 'pattern_counts': {'":': 0, '<': 161, '<?xml version=': 2, '>': 161, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, 'xml': 6}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4225287', 'n_tokens_mistral': 2513, 'n_tokens_neox': 2354, 'n_words': 337}