org.eclipse.core:org.eclipse.core.resources-3.7.100.jar

Usage

This file has been used in the following places:

overture-development	#217-#224 #226 #227 #229-#241
overture-development/org.overturetool.core.codegen:codegen-plugin	#200-#227 #229-#241
overture-development/org.overturetool.core.codegen:javagen	#200-#227 #229-#241
overture-development/org.overturetool.core.codegen:vdm2jml	#200-#227 #229-#241
overture-master	#27 #28
overture-master/org.overturetool.core.codegen:codegen-plugin	#27 #28
overture-master/org.overturetool.core.codegen:javagen	#27 #28
overture-master/org.overturetool.core.codegen:vdm2jml	#27 #28
overture-pvj-main	#165-#167
overture-pvj-main/org.overturetool.core.codegen:codegen-plugin	#165-#167
overture-pvj-main/org.overturetool.core.codegen:javagen	#165-#167
overture-pvj-main/org.overturetool.core.codegen:vdm2jml	#165-#167
overture-test	#196-#200
overture-test/org.overturetool.core.codegen:codegen-plugin	#196-#200
overture-test/org.overturetool.core.codegen:javagen	#196-#200
overture-test/org.overturetool.core.codegen:vdm2jml	#196-#200