File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 44 <parent >
55 <groupId >org.overturetool.vdm2c</groupId >
66 <artifactId >root</artifactId >
7- <version >0.2.1-SNAPSHOT </version >
7+ <version >0.2.2 </version >
88 <relativePath >../pom.xml</relativePath >
99 </parent >
1010
Original file line number Diff line number Diff line change 55 <parent >
66 <groupId >org.overturetool.vdm2c</groupId >
77 <artifactId >c</artifactId >
8- <version >0.2.1-SNAPSHOT </version >
8+ <version >0.2.2 </version >
99 <relativePath >../pom.xml</relativePath >
1010 </parent >
1111
Original file line number Diff line number Diff line change 55 <parent >
66 <groupId >org.overturetool.vdm2c</groupId >
77 <artifactId >c</artifactId >
8- <version >0.2.1-SNAPSHOT </version >
8+ <version >0.2.2 </version >
99 <relativePath >../pom.xml</relativePath >
1010 </parent >
1111
Original file line number Diff line number Diff line change 44 <parent >
55 <groupId >org.overturetool.vdm2c</groupId >
66 <artifactId >root</artifactId >
7- <version >0.2.1-SNAPSHOT </version >
7+ <version >0.2.2 </version >
88 <relativePath >../pom.xml</relativePath >
99 </parent >
1010
Original file line number Diff line number Diff line change 55 <parent >
66 <groupId >org.overturetool.vdm2c</groupId >
77 <artifactId >core</artifactId >
8- <version >0.2.1-SNAPSHOT </version >
8+ <version >0.2.2 </version >
99 <relativePath >../pom.xml</relativePath >
1010 </parent >
1111
Original file line number Diff line number Diff line change 11Manifest-Version : 1.0
22Bundle-Vendor : Overture
33Bundle-ActivationPolicy : lazy
4- Bundle-Version : 0.2.1.qualifier
4+ Bundle-Version : 0.2.2
55Eclipse-BuddyPolicy : registered
66Bundle-Name : C Code Generator
77Bundle-ManifestVersion : 2
Original file line number Diff line number Diff line change 55 <parent >
66 <groupId >org.overturetool.vdm2c</groupId >
77 <artifactId >ide</artifactId >
8- <version >0.2.1-SNAPSHOT </version >
8+ <version >0.2.2 </version >
99 <relativePath >../pom.xml</relativePath >
1010 </parent >
1111
Original file line number Diff line number Diff line change 22<feature
33 id =" org.overturetool.vdm2c.ide.features.cgen"
44 label =" VDM 2 C Code Generator"
5- version =" 0.2.1.qualifier " >
5+ version =" 0.2.2 " >
66
77 <description >
88 %description
Original file line number Diff line number Diff line change 55 <parent >
66 <groupId >org.overturetool.vdm2c.ide</groupId >
77 <artifactId >org.overturetool.vdm2c.ide.features</artifactId >
8- <version >0.2.1-SNAPSHOT </version >
8+ <version >0.2.2 </version >
99 <relativePath >../pom.xml</relativePath >
1010 </parent >
1111
Original file line number Diff line number Diff line change 55 <parent >
66 <groupId >org.overturetool.vdm2c</groupId >
77 <artifactId >ide</artifactId >
8- <version >0.2.1-SNAPSHOT </version >
8+ <version >0.2.2 </version >
99 <relativePath >../pom.xml</relativePath >
1010 </parent >
1111
You can’t perform that action at this time.
0 commit comments