#This is a generated file; do not edit.
#Wed Oct 18 19:47:37 EDT 2017
org.eclipse.ui.intro=org.eclipse.ui.intro\n3.5.100.v20170418-0710
org.lamport.tla.toolbox.doc=org.lamport.tla.toolbox.doc\n1.5.4.201710061831
org.eclipse.ui.intro.universal=org.eclipse.ui.intro.universal\n3.3.100.v20170515-1335
org.eclipse.help.base=org.eclipse.help.base\n4.2.100.v20170612-0950
org.eclipse.help=org.eclipse.help\n3.8.0.v20160823-1530