org.eclipse.core:org.eclipse.core.jobs-3.5.100.jar

Usage

This file has been used in the following places:

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