Simplify the UI

.gitignore

@@ -0,0 +1,2 @@
+.DS_Store
+

workbench/linux.gtk.x86_64/eclipse/configuration/config.ini

@@ -1,11 +1,11 @@
 #This configuration file was written by: org.eclipse.equinox.internal.frameworkadmin.equinox.EquinoxFwConfigFileParser
-#Wed Jun 22 16:17:59 PDT 2016
+#Tue Sep 06 12:19:59 PDT 2016
 eclipse.p2.profile=profile
 osgi.framework=file\:plugins/org.eclipse.osgi_3.10.2.v20150203-1939.jar
 equinox.use.ds=true
-osgi.bundles=reference\:file\:JFlex_1.4.1.201606221615.jar@4,reference\:file\:com.clarkparsia.pellet_2.3.0.201606221615.jar@4,reference\:file\:com.ibm.icu_52.1.1.v201501240615.jar@4,reference\:file\:com.jcraft.jsch_0.1.51.v201410302000.jar@4,reference\:file\:compling.core_1.0.1.201606221615.jar@4,reference\:file\:compling.gui_0.6.4.201606221615.jar@4,reference\:file\:java_cup_1.0.0.201606221615.jar@4,reference\:file\:javax.annotation_1.2.0.v201401042248.jar@4,reference\:file\:javax.inject_1.0.0.v20091030.jar@4,reference\:file\:javax.servlet_3.0.0.v201112011016.jar@4,reference\:file\:javax.xml_1.3.4.v201005080400.jar@4,reference\:file\:org.apache.batik.css_1.7.0.v201011041433.jar@4,reference\:file\:org.apache.batik.util_1.7.0.v201011041433.jar@4,reference\:file\:org.apache.batik.util.gui_1.7.0.v200903091627.jar@4,reference\:file\:org.eclipse.ant.core_3.3.1.v20150123-1553.jar@4,reference\:file\:org.eclipse.compare_3.5.501.v20140817-1445.jar@4,reference\:file\:org.eclipse.compare.core_3.5.400.v20130903-0736.jar@4,reference\:file\:org.eclipse.core.commands_3.6.100.v20140528-1422.jar@4,reference\:file\:org.eclipse.core.contenttype_3.4.200.v20140207-1251.jar@4,reference\:file\:org.eclipse.core.databinding_1.4.2.v20140729-1044.jar@4,reference\:file\:org.eclipse.core.databinding.observable_1.4.1.v20140210-1835.jar@4,reference\:file\:org.eclipse.core.databinding.property_1.4.200.v20140214-0004.jar@4,reference\:file\:org.eclipse.core.expressions_3.4.600.v20140128-0851.jar@4,reference\:file\:org.eclipse.core.filebuffers_3.5.400.v20140127-1516.jar@4,reference\:file\:org.eclipse.core.filesystem_1.4.100.v20140514-1614.jar@4,reference\:file\:org.eclipse.core.filesystem.java7_1.0.0.v20140429-1531.jar@4,reference\:file\:org.eclipse.core.filesystem.linux.x86_64_1.2.200.v20140124-1940.jar@4,reference\:file\:org.eclipse.core.jobs_3.6.1.v20141014-1248.jar@4,reference\:file\:org.eclipse.core.net_1.2.200.v20140124-2013.jar@4,reference\:file\:org.eclipse.core.net.linux.x86_64_1.1.100.v20140124-2013.jar@4,reference\:file\:org.eclipse.core.resources_3.9.1.v20140825-1431.jar@4,reference\:file\:org.eclipse.core.runtime_3.10.0.v20140318-2214.jar@4\:start,reference\:file\:org.eclipse.core.runtime.compatibility.registry_3.5.300.v20140128-0851/@4,reference\:file\:org.eclipse.core.variables_3.2.800.v20130819-1716.jar@4,reference\:file\:org.eclipse.draw2d_3.9.101.201408150207.jar@4,reference\:file\:org.eclipse.e4.core.commands_0.10.2.v20140424-2344.jar@4,reference\:file\:org.eclipse.e4.core.contexts_1.3.100.v20140407-1019.jar@4,reference\:file\:org.eclipse.e4.core.di_1.4.0.v20140414-1837.jar@4,reference\:file\:org.eclipse.e4.core.di.extensions_0.12.0.v20140417-2033.jar@4,reference\:file\:org.eclipse.e4.core.services_1.2.1.v20140808-1251.jar@4,reference\:file\:org.eclipse.e4.ui.bindings_0.10.200.v20140424-2042.jar@4,reference\:file\:org.eclipse.e4.ui.css.core_0.10.100.v20140424-2042.jar@4,reference\:file\:org.eclipse.e4.ui.css.swt_0.11.101.v20140818-1343.jar@4,reference\:file\:org.eclipse.e4.ui.css.swt.theme_0.9.300.v20141126-1957.jar@4,reference\:file\:org.eclipse.e4.ui.di_1.0.0.v20140328-2112.jar@4,reference\:file\:org.eclipse.e4.ui.model.workbench_1.1.0.v20140512-1820.jar@4,reference\:file\:org.eclipse.e4.ui.services_1.1.0.v20140328-1925.jar@4,reference\:file\:org.eclipse.e4.ui.widgets_1.0.0.v20140514-1823.jar@4,reference\:file\:org.eclipse.e4.ui.workbench_1.2.2.v20141212-1259.jar@4,reference\:file\:org.eclipse.e4.ui.workbench.addons.swt_1.1.2.v20141126-1310.jar@4,reference\:file\:org.eclipse.e4.ui.workbench.renderers.swt_0.12.2.v20150204-1353.jar@4,reference\:file\:org.eclipse.e4.ui.workbench.swt_0.12.100.v20141126-1150.jar@4,reference\:file\:org.eclipse.e4.ui.workbench3_0.12.0.v20140227-2118.jar@4,reference\:file\:org.eclipse.emf.common_2.10.1.v20150123-0348.jar@4,reference\:file\:org.eclipse.emf.ecore_2.10.2.v20150123-0348.jar@4,reference\:file\:org.eclipse.emf.ecore.change_2.10.0.v20150123-0348.jar@4,reference\:file\:org.eclipse.emf.ecore.xmi_2.10.2.v20150123-0348.jar@4,reference\:file\:org.eclipse.equinox.app_1.3.200.v20130910-1609.jar@4,reference\:file\:org.eclipse.equinox.bidi_0.10.0.v20130327-1442.jar@4,reference\:file\:org.eclipse.equinox.common_3.6.200.v20130402-1505.jar@2\:start,reference\:file\:org.eclipse.equinox.ds_1.4.200.v20131126-2331.jar@2\:start,reference\:file\:org.eclipse.equinox.event_1.3.100.v20140115-1647.jar@4,reference\:file\:org.eclipse.equinox.launcher_1.3.0.v20140415-2008.jar@4,reference\:file\:org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.200.v20150204-1316/@4,reference\:file\:org.eclipse.equinox.p2.core_2.3.0.v20131211-1531.jar@4,reference\:file\:org.eclipse.equinox.p2.engine_2.3.0.v20140506-1720.jar@4,reference\:file\:org.eclipse.equinox.p2.metadata_2.2.0.v20131211-1531.jar@4,reference\:file\:org.eclipse.equinox.p2.metadata.repository_1.2.100.v20131209-2144.jar@4,reference\:file\:org.eclipse.equinox.p2.repository_2.3.0.v20131211-1531.jar@4,reference\:file\:org.eclipse.equinox.preferences_3.5.200.v20140224-1527.jar@4,reference\:file\:org.eclipse.equinox.registry_3.5.400.v20140428-1507.jar@4,reference\:file\:org.eclipse.equinox.security_1.2.0.v20130424-1801.jar@4,reference\:file\:org.eclipse.equinox.util_1.0.500.v20130404-1337.jar@4,reference\:file\:org.eclipse.help_3.6.0.v20130326-1254.jar@4,reference\:file\:org.eclipse.jface_3.10.2.v20141021-1035.jar@4,reference\:file\:org.eclipse.jface.databinding_1.6.200.v20140528-1422.jar@4,reference\:file\:org.eclipse.jface.text_3.9.2.v20141003-1326.jar@4,reference\:file\:org.eclipse.jsch.core_1.1.500.v20131112-1442.jar@4,reference\:file\:org.eclipse.ltk.core.refactoring_3.6.101.v20140817-1500.jar@4,reference\:file\:org.eclipse.ltk.ui.refactoring_3.7.100.v20140324-1358.jar@4,reference\:file\:org.eclipse.osgi.services_3.4.0.v20140312-2051.jar@4,reference\:file\:org.eclipse.search_3.9.100.v20140226-1637.jar@4,reference\:file\:org.eclipse.swt_3.103.2.v20150203-1313.jar@4,reference\:file\:org.eclipse.swt.gtk.linux.x86_64_3.103.2.v20150203-1351.jar@4,reference\:file\:org.eclipse.team.core_3.7.0.v20130514-1224.jar@4,reference\:file\:org.eclipse.team.cvs.core_3.3.600.v20131112-1442.jar@4,reference\:file\:org.eclipse.team.cvs.ui_3.3.600.v20130514-1224.jar@4,reference\:file\:org.eclipse.team.ui_3.7.100.v20130710-1213.jar@4,reference\:file\:org.eclipse.text_3.5.300.v20130515-1451.jar@4,reference\:file\:org.eclipse.ui_3.106.1.v20141002-1150.jar@4,reference\:file\:org.eclipse.ui.console_3.5.300.v20140424-1437.jar@4,reference\:file\:org.eclipse.ui.editors_3.8.200.v20140401-1310.jar@4,reference\:file\:org.eclipse.ui.forms_3.6.100.v20140422-1825.jar@4,reference\:file\:org.eclipse.ui.ide_3.10.2.v20141118-1227.jar@4,reference\:file\:org.eclipse.ui.navigator_3.5.401.v20140724-1117.jar@4,reference\:file\:org.eclipse.ui.navigator.resources_3.4.700.v20140407-1004.jar@4,reference\:file\:org.eclipse.ui.views_3.7.0.v20140408-0703.jar@4,reference\:file\:org.eclipse.ui.views.properties.tabbed_3.6.0.v20140519-0906.jar@4,reference\:file\:org.eclipse.ui.workbench_3.106.2.v20150204-1030.jar@4,reference\:file\:org.eclipse.ui.workbench.texteditor_3.9.0.v20140411-1521.jar@4,reference\:file\:org.ini4j_1.0.0.201606221615/@4,reference\:file\:org.jdom_1.0.0.201606221615/@4,reference\:file\:org.w3c.css.sac_1.3.1.v200903091627.jar@4,reference\:file\:org.w3c.dom.events_3.0.0.draft20060413_v201105210656.jar@4,reference\:file\:org.w3c.dom.smil_1.0.0.v200806040011.jar@4,reference\:file\:org.w3c.dom.svg_1.1.0.v201011041433.jar@4
+osgi.bundles=reference\:file\:JFlex_1.4.1.201609061219.jar@4,reference\:file\:com.clarkparsia.pellet_2.3.0.201609061219.jar@4,reference\:file\:com.ibm.icu_52.1.1.v201501240615.jar@4,reference\:file\:com.jcraft.jsch_0.1.50.v201403120620.jar@4,reference\:file\:compling.core_1.0.1.201609061219.jar@4,reference\:file\:compling.gui_0.6.4.201609061219.jar@4,reference\:file\:java_cup_1.0.0.201609061219.jar@4,reference\:file\:javax.annotation_1.2.0.v201401042248.jar@4,reference\:file\:javax.inject_1.0.0.v20091030.jar@4,reference\:file\:javax.servlet_3.0.0.v201112011016.jar@4,reference\:file\:javax.xml_1.3.4.v201005080400.jar@4,reference\:file\:org.apache.batik.css_1.7.0.v201011041433.jar@4,reference\:file\:org.apache.batik.util_1.7.0.v201011041433.jar@4,reference\:file\:org.apache.batik.util.gui_1.7.0.v200903091627.jar@4,reference\:file\:org.eclipse.ant.core_3.3.1.v20150123-1553.jar@4,reference\:file\:org.eclipse.compare_3.5.501.v20140817-1445.jar@4,reference\:file\:org.eclipse.compare.core_3.5.400.v20130903-0736.jar@4,reference\:file\:org.eclipse.core.commands_3.6.100.v20140528-1422.jar@4,reference\:file\:org.eclipse.core.contenttype_3.4.200.v20140207-1251.jar@4,reference\:file\:org.eclipse.core.databinding_1.4.2.v20140729-1044.jar@4,reference\:file\:org.eclipse.core.databinding.observable_1.4.1.v20140210-1835.jar@4,reference\:file\:org.eclipse.core.databinding.property_1.4.200.v20140214-0004.jar@4,reference\:file\:org.eclipse.core.expressions_3.4.600.v20140128-0851.jar@4,reference\:file\:org.eclipse.core.filebuffers_3.5.400.v20140127-1516.jar@4,reference\:file\:org.eclipse.core.filesystem_1.4.100.v20140514-1614.jar@4,reference\:file\:org.eclipse.core.filesystem.java7_1.0.0.v20140429-1531.jar@4,reference\:file\:org.eclipse.core.jobs_3.6.1.v20141014-1248.jar@4,reference\:file\:org.eclipse.core.net_1.2.200.v20140124-2013.jar@4,reference\:file\:org.eclipse.core.resources_3.9.1.v20140825-1431.jar@4,reference\:file\:org.eclipse.core.runtime_3.10.0.v20140318-2214.jar@4\:start,reference\:file\:org.eclipse.core.runtime.compatibility.registry_3.5.300.v20140128-0851/@4,reference\:file\:org.eclipse.core.variables_3.2.800.v20130819-1716.jar@4,reference\:file\:org.eclipse.draw2d_3.9.101.201408150207.jar@4,reference\:file\:org.eclipse.e4.core.commands_0.10.2.v20140424-2344.jar@4,reference\:file\:org.eclipse.e4.core.contexts_1.3.100.v20140407-1019.jar@4,reference\:file\:org.eclipse.e4.core.di_1.4.0.v20140414-1837.jar@4,reference\:file\:org.eclipse.e4.core.di.extensions_0.12.0.v20140417-2033.jar@4,reference\:file\:org.eclipse.e4.core.services_1.2.1.v20140808-1251.jar@4,reference\:file\:org.eclipse.e4.ui.bindings_0.10.200.v20140424-2042.jar@4,reference\:file\:org.eclipse.e4.ui.css.core_0.10.100.v20140424-2042.jar@4,reference\:file\:org.eclipse.e4.ui.css.swt_0.11.101.v20140818-1343.jar@4,reference\:file\:org.eclipse.e4.ui.css.swt.theme_0.9.300.v20141126-1957.jar@4,reference\:file\:org.eclipse.e4.ui.di_1.0.0.v20140328-2112.jar@4,reference\:file\:org.eclipse.e4.ui.model.workbench_1.1.0.v20140512-1820.jar@4,reference\:file\:org.eclipse.e4.ui.services_1.1.0.v20140328-1925.jar@4,reference\:file\:org.eclipse.e4.ui.widgets_1.0.0.v20140514-1823.jar@4,reference\:file\:org.eclipse.e4.ui.workbench_1.2.2.v20141212-1259.jar@4,reference\:file\:org.eclipse.e4.ui.workbench.addons.swt_1.1.2.v20141126-1310.jar@4,reference\:file\:org.eclipse.e4.ui.workbench.renderers.swt_0.12.2.v20150204-1353.jar@4,reference\:file\:org.eclipse.e4.ui.workbench.swt_0.12.100.v20141126-1150.jar@4,reference\:file\:org.eclipse.e4.ui.workbench3_0.12.0.v20140227-2118.jar@4,reference\:file\:org.eclipse.emf.common_2.10.1.v20150123-0348.jar@4,reference\:file\:org.eclipse.emf.ecore_2.10.2.v20150123-0348.jar@4,reference\:file\:org.eclipse.emf.ecore.change_2.10.0.v20150123-0348.jar@4,reference\:file\:org.eclipse.emf.ecore.xmi_2.10.2.v20150123-0348.jar@4,reference\:file\:org.eclipse.equinox.app_1.3.200.v20130910-1609.jar@4,reference\:file\:org.eclipse.equinox.bidi_0.10.0.v20130327-1442.jar@4,reference\:file\:org.eclipse.equinox.common_3.6.200.v20130402-1505.jar@2\:start,reference\:file\:org.eclipse.equinox.ds_1.4.200.v20131126-2331.jar@2\:start,reference\:file\:org.eclipse.equinox.event_1.3.100.v20140115-1647.jar@4,reference\:file\:org.eclipse.equinox.launcher_1.3.0.v20140415-2008.jar@4,reference\:file\:org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.200.v20150204-1316/@4,reference\:file\:org.eclipse.equinox.p2.core_2.3.0.v20131211-1531.jar@4,reference\:file\:org.eclipse.equinox.p2.engine_2.3.0.v20140506-1720.jar@4,reference\:file\:org.eclipse.equinox.p2.metadata_2.2.0.v20131211-1531.jar@4,reference\:file\:org.eclipse.equinox.p2.metadata.repository_1.2.100.v20131209-2144.jar@4,reference\:file\:org.eclipse.equinox.p2.repository_2.3.0.v20131211-1531.jar@4,reference\:file\:org.eclipse.equinox.preferences_3.5.200.v20140224-1527.jar@4,reference\:file\:org.eclipse.equinox.registry_3.5.400.v20140428-1507.jar@4,reference\:file\:org.eclipse.equinox.security_1.2.0.v20130424-1801.jar@4,reference\:file\:org.eclipse.equinox.util_1.0.500.v20130404-1337.jar@4,reference\:file\:org.eclipse.help_3.6.0.v20130326-1254.jar@4,reference\:file\:org.eclipse.jface_3.10.2.v20141021-1035.jar@4,reference\:file\:org.eclipse.jface.databinding_1.6.200.v20140528-1422.jar@4,reference\:file\:org.eclipse.jface.text_3.9.2.v20141003-1326.jar@4,reference\:file\:org.eclipse.jsch.core_1.1.500.v20131112-1442.jar@4,reference\:file\:org.eclipse.ltk.core.refactoring_3.6.101.v20140817-1500.jar@4,reference\:file\:org.eclipse.ltk.ui.refactoring_3.7.100.v20140324-1358.jar@4,reference\:file\:org.eclipse.osgi.services_3.4.0.v20140312-2051.jar@4,reference\:file\:org.eclipse.search_3.9.100.v20140226-1637.jar@4,reference\:file\:org.eclipse.swt_3.103.2.v20150203-1313.jar@4,reference\:file\:org.eclipse.swt.gtk.linux.x86_64_3.103.2.v20150203-1351.jar@4,reference\:file\:org.eclipse.team.core_3.7.0.v20130514-1224.jar@4,reference\:file\:org.eclipse.team.cvs.core_3.3.600.v20131112-1442.jar@4,reference\:file\:org.eclipse.team.cvs.ui_3.3.600.v20130514-1224.jar@4,reference\:file\:org.eclipse.team.ui_3.7.100.v20130710-1213.jar@4,reference\:file\:org.eclipse.text_3.5.300.v20130515-1451.jar@4,reference\:file\:org.eclipse.ui_3.106.1.v20141002-1150.jar@4,reference\:file\:org.eclipse.ui.console_3.5.300.v20140424-1437.jar@4,reference\:file\:org.eclipse.ui.editors_3.8.200.v20140401-1310.jar@4,reference\:file\:org.eclipse.ui.forms_3.6.100.v20140422-1825.jar@4,reference\:file\:org.eclipse.ui.ide_3.10.2.v20141118-1227.jar@4,reference\:file\:org.eclipse.ui.navigator_3.5.401.v20140724-1117.jar@4,reference\:file\:org.eclipse.ui.navigator.resources_3.4.700.v20140407-1004.jar@4,reference\:file\:org.eclipse.ui.views_3.7.0.v20140408-0703.jar@4,reference\:file\:org.eclipse.ui.views.properties.tabbed_3.6.0.v20140519-0906.jar@4,reference\:file\:org.eclipse.ui.workbench_3.106.2.v20150204-1030.jar@4,reference\:file\:org.eclipse.ui.workbench.texteditor_3.9.0.v20140411-1521.jar@4,reference\:file\:org.ini4j_1.0.0.201609061219/@4,reference\:file\:org.jdom_1.0.0.201609061219/@4,reference\:file\:org.w3c.css.sac_1.3.1.v200903091627.jar@4,reference\:file\:org.w3c.dom.events_3.0.0.draft20060413_v201105210656.jar@4,reference\:file\:org.w3c.dom.smil_1.0.0.v200806040011.jar@4,reference\:file\:org.w3c.dom.svg_1.1.0.v201011041433.jar@4
 eclipse.product=compling.gui.product
-osgi.framework.extensions=reference\:file\:org.eclipse.osgi.compatibility.plugins_1.0.0.v20131023-1243.jar,reference\:file\:org.eclipse.osgi.compatibility.state_1.0.1.v20140709-1414.jar
+osgi.framework.extensions=reference\:file\:org.eclipse.osgi.compatibility.state_1.0.1.v20140709-1414.jar
 eclipse.p2.data.area[email protected]/../p2
 osgi.bundles.defaultStartLevel=4
 eclipse.application=compling.gui.application

workbench/linux.gtk.x86_64/eclipse/p2/org.eclipse.equinox.p2.core/cache/artifacts.xml

@@ -3,15 +3,15 @@
 <repository name='download cache' type='org.eclipse.equinox.p2.artifact.repository.simpleRepository' version='1.0.0'>
   <properties size='2'>
     <property name='p2.system' value='true'/>
-    <property name='p2.timestamp' value='1466637470636'/>
+    <property name='p2.timestamp' value='1473189595793'/>
   </properties>
   <mappings size='3'>
     <rule filter='(&amp; (classifier=osgi.bundle))' output='${repoUrl}/plugins/${id}_${version}.jar'/>
     <rule filter='(&amp; (classifier=binary))' output='${repoUrl}/binary/${id}_${version}'/>
     <rule filter='(&amp; (classifier=org.eclipse.update.feature))' output='${repoUrl}/features/${id}_${version}.jar'/>
   </mappings>
   <artifacts size='1'>
-    <artifact classifier='binary' id='compling.gui.product_root.gtk.linux.x86_64' version='0.6.4.201606221615'>
+    <artifact classifier='binary' id='compling.gui.product_root.gtk.linux.x86_64' version='0.6.4.201609061219'>
       <properties size='1'>
         <property name='download.size' value='30108'/>
       </properties>