#This is a generated file; do not edit.
#Wed Oct 26 13:12:39 CST 2011
org.eclipse.ui.intro.universal=org.eclipse.ui.intro.universal\n3.2.500.v20110510
org.eventb.doc.user=org.eventb.doc.user\n0.1.0
org.eclipse.platform=org.eclipse.platform\n3.7.0.v201106131736
org.eclipse.platform.doc.user=org.eclipse.platform.doc.user\n3.7.0.v20110601-0800
org.eventb.theory.help=org.eventb.theory.help\n1.1.0
org.eventb.ide=org.eventb.ide\n2.3.0.r13308
org.eclipse.ui.cheatsheets=org.eclipse.ui.cheatsheets\n3.4.100.v20110425
org.rodinp.platform=org.rodinp.platform\n2.3.0.r13308
org.eclipse.help.base=org.eclipse.help.base\n3.6.0.v201106131736
org.eclipse.help=org.eclipse.help\n3.5.100.v20110426
org.rodinp.keyboard=org.rodinp.keyboard\n1.1.2.r13308
org.eclipse.ui.intro=org.eclipse.ui.intro\n3.4.100.v20110425
