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

Usage

This file has been used in the following places:

overture-development	#252 #254-#267 #269-#271 #273-#276
overture-development/org.overturetool.core.codegen:codegen-plugin	#200- #227   #229 -#252 #254-#267 #269-#271 #273-#276
overture-development/org.overturetool.core.codegen:javagen	#200- #227   #229 -#252 #254-#267 #269-#271 #273-#276
overture-development/org.overturetool.core.codegen:vdm2jml	#200- #227   #229 -#252 #254-#267 #269-#271 #273-#276
overture-master	#28 #29
overture-master/org.overturetool.core.codegen:codegen-plugin	#28 #29
overture-master/org.overturetool.core.codegen:javagen	#28 #29
overture-master/org.overturetool.core.codegen:vdm2jml	#28 #29
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