<?xml version="1.0" encoding="UTF-8"?>
<config date="1508365335375" transient="false" version="3.0">
<site enabled="true" policy="USER-EXCLUDE" updateable="true" url="platform:/base/">
<feature id="org.eclipse.ecf.filetransfer.httpclient4.feature" url="features/org.eclipse.ecf.filetransfer.httpclient4.feature_3.13.7.v20170516-2248/" version="3.13.7.v20170516-2248">
</feature>
<feature id="org.eclipse.help" plugin-identifier="org.eclipse.help.base" url="features/org.eclipse.help_2.2.100.v20170612-0950/" version="2.2.100.v20170612-0950">
</feature>
<feature id="org.eclipse.ecf.filetransfer.httpclient4.ssl.feature" url="features/org.eclipse.ecf.filetransfer.httpclient4.ssl.feature_1.1.0.v20170110-1317/" version="1.1.0.v20170110-1317">
</feature>
<feature id="org.lamport.tla.toolbox.feature.tlc" url="features/org.lamport.tla.toolbox.feature.tlc_1.0.0.201710061831/" version="1.0.0.201710061831">
</feature>
<feature id="org.lamport.tla.toolbox.feature.branding" url="features/org.lamport.tla.toolbox.feature.branding_1.0.0.201710061831/" version="1.0.0.201710061831">
</feature>
<feature id="org.lamport.tla.toolbox.feature.tla2tex" url="features/org.lamport.tla.toolbox.feature.tla2tex_1.0.0.201710061831/" version="1.0.0.201710061831">
</feature>
<feature id="org.eclipse.equinox.p2.core.feature" url="features/org.eclipse.equinox.p2.core.feature_1.4.0.v20170524-1345/" version="1.4.0.v20170524-1345">
</feature>
<feature id="org.eclipse.emf.common" url="features/org.eclipse.emf.common_2.13.0.v20170609-0707/" version="2.13.0.v20170609-0707">
</feature>
<feature id="org.eclipse.ecf.core.ssl.feature" url="features/org.eclipse.ecf.core.ssl.feature_1.1.0.v20170110-1317/" version="1.1.0.v20170110-1317">
</feature>
<feature id="org.eclipse.ecf.filetransfer.ssl.feature" url="features/org.eclipse.ecf.filetransfer.ssl.feature_1.1.0.v20170110-1317/" version="1.1.0.v20170110-1317">
</feature>
<feature id="org.lamport.tla.toolbox.feature.jclouds" plugin-identifier="org.lamport.tla.toolbox.jclouds" url="features/org.lamport.tla.toolbox.feature.jclouds_1.0.0.201710061831/" version="1.0.0.201710061831">
</feature>
<feature id="org.lamport.tla.toolbox.feature.jnlp" plugin-identifier="org.lamport.tla.toolbox.jnlp" url="features/org.lamport.tla.toolbox.feature.jnlp_1.0.0.201710061831/" version="1.0.0.201710061831">
</feature>
<feature id="org.lamport.tla.toolbox.feature.help" url="features/org.lamport.tla.toolbox.feature.help_1.0.0.201710061831/" version="1.0.0.201710061831">
</feature>
<feature id="org.eclipse.emf.ecore" url="features/org.eclipse.emf.ecore_2.13.0.v20170609-0707/" version="2.13.0.v20170609-0707">
</feature>
<feature id="org.lamport.tla.toolbox.feature.prover" plugin-identifier="org.lamport.tla.toolbox.tool.prover" url="features/org.lamport.tla.toolbox.feature.prover_1.0.0.201710061831/" version="1.0.0.201710061831">
</feature>
<feature id="org.lamport.tla.toolbox.feature.base" plugin-identifier="org.lamport.tla.toolbox" url="features/org.lamport.tla.toolbox.feature.base_1.0.0.201710061831/" version="1.0.0.201710061831">
</feature>
<feature id="org.eclipse.ecf.core.feature" url="features/org.eclipse.ecf.core.feature_1.4.0.v20170516-2248/" version="1.4.0.v20170516-2248">
</feature>
<feature id="org.eclipse.rcp" url="features/org.eclipse.rcp_4.7.0.v20170612-1255/" version="4.7.0.v20170612-1255">
</feature>
<feature id="org.eclipse.equinox.p2.rcp.feature" url="features/org.eclipse.equinox.p2.rcp.feature_1.3.0.v20170524-1345/" version="1.3.0.v20170524-1345">
</feature>
<feature id="org.eclipse.ecf.filetransfer.feature" url="features/org.eclipse.ecf.filetransfer.feature_3.13.7.v20170516-2248/" version="3.13.7.v20170516-2248">
</feature>
<feature id="org.lamport.tlatools.feature" url="features/org.lamport.tlatools.feature_1.0.0.201710061831/" version="1.0.0.201710061831">
</feature>
<feature id="org.apache.jclouds.feature" url="features/org.apache.jclouds.feature_2.0.2.2/" version="2.0.2.2">
</feature>
<feature id="org.lamport.tla.toolbox.feature.standalone" plugin-identifier="org.lamport.tla.toolbox.product.standalone" url="features/org.lamport.tla.toolbox.feature.standalone_1.0.0.201710061831/" version="1.0.0.201710061831">
</feature>
<feature id="de.vonloesch.pdf4eclipse.feature" url="features/de.vonloesch.pdf4eclipse.feature_1.1.0.201709072025/" version="1.1.0.201709072025">
</feature>
<feature id="org.lamport.tla.toolbox.feature.editor" plugin-identifier="org.lamport.tla.toolbox.editor.basic" url="features/org.lamport.tla.toolbox.feature.editor_1.0.0.201710061831/" version="1.0.0.201710061831">
</feature>
<feature id="org.eclipse.e4.rcp" url="features/org.eclipse.e4.rcp_1.6.0.v20170612-1255/" version="1.6.0.v20170612-1255">
</feature>
<feature id="com.abstratt.eclipsegraphviz.feature" url="features/com.abstratt.eclipsegraphviz.feature_2.1.201501.201606262232/" version="2.1.201501.201606262232">
</feature>
</site>
</config>
