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

Usage

This file has been used in the following places:

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