org.overturetool.ide:org.overture.ide.plugins:pom.xml

Introduced 1 yr 6 mo ago overture-development/org.overturetool.ide:org.overture.ide.plugins #281

Usage

This file has been used in the following places:

overture-development	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.combinatorialtesting	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.csk	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.developerutils	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.javagen	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.latex	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.poviewer	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.quickinterpreter	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.rttraceviewer	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.uml2	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins:org.overture.ide.plugins.combinatorialtesting	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins:org.overture.ide.plugins.csk	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins:org.overture.ide.plugins.developerutils	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins:org.overture.ide.plugins.features	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins:org.overture.ide.plugins.javagen	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins:org.overture.ide.plugins.latex	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins:org.overture.ide.plugins.poviewer	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins:org.overture.ide.plugins.rttraceviewer	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins:org.overture.ide.plugins.uml2	#281 #282 #285-#290
overture-development/org.overturetool.ide:org.overture.ide.plugins	#281 #282 #285-#290
overturetool/dependabot%2Fmaven%2Fcore%2Fcodegen%2Fcodegen-runtime%2Fjunit-junit-4.13.1	#2 #3
overturetool/dependabot%2Fmaven%2Fcore%2Fpog%2Fcommons-io-commons-io-2.7	#1
overturetool/dependabot%2Fmaven%2Fcore%2Fprettyprinting%2Fnpp%2Fcommons-io-commons-io-2.7	#1
overturetool/dependabot%2Fmaven%2Fcore%2Ftesting%2Fframework%2Fcommons-io-commons-io-2.7	#1
overturetool/issue782	#1
overturetool/ncb%2Fdevelopment	#163-#176 #178 #179  #182  #184-#187
overturetool/tm%2FSolveRecordProblem	#1 #2
overturetool/tm%2Fstandalonejavgen	#1
overturetool/vdm2uml	#2-#23