#Eclipse Product File
#Fri Sep 30 16:41:01 CEST 2011
version=2.3.0.r13308
name=Rodin Platform
id=org.rodinp.platform.product
