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