File tree Expand file tree Collapse file tree 12 files changed +13
-13
lines changed Expand file tree Collapse file tree 12 files changed +13
-13
lines changed Original file line number Diff line number Diff line change 4
4
<parent >
5
5
<groupId >org.overturetool.vdm2c</groupId >
6
6
<artifactId >root</artifactId >
7
- <version >0.1.5-SNAPSHOT </version >
7
+ <version >0.1.6 </version >
8
8
<relativePath >../pom.xml</relativePath >
9
9
</parent >
10
10
Original file line number Diff line number Diff line change 5
5
<parent >
6
6
<groupId >org.overturetool.vdm2c</groupId >
7
7
<artifactId >c</artifactId >
8
- <version >0.1.5-SNAPSHOT </version >
8
+ <version >0.1.6 </version >
9
9
<relativePath >../pom.xml</relativePath >
10
10
</parent >
11
11
Original file line number Diff line number Diff line change 4
4
<parent >
5
5
<groupId >org.overturetool.vdm2c</groupId >
6
6
<artifactId >root</artifactId >
7
- <version >0.1.5-SNAPSHOT </version >
7
+ <version >0.1.6 </version >
8
8
<relativePath >../pom.xml</relativePath >
9
9
</parent >
10
10
Original file line number Diff line number Diff line change 5
5
<parent >
6
6
<groupId >org.overturetool.vdm2c</groupId >
7
7
<artifactId >core</artifactId >
8
- <version >0.1.5-SNAPSHOT </version >
8
+ <version >0.1.6 </version >
9
9
<relativePath >../pom.xml</relativePath >
10
10
</parent >
11
11
Original file line number Diff line number Diff line change 1
1
Manifest-Version : 1.0
2
2
Bundle-Vendor : Overture
3
3
Bundle-ActivationPolicy : lazy
4
- Bundle-Version : 0.1.5.qualifier
4
+ Bundle-Version : 0.1.6
5
5
Eclipse-BuddyPolicy : registered
6
6
Bundle-Name : C Code Generator
7
7
Bundle-ManifestVersion : 2
Original file line number Diff line number Diff line change 5
5
<parent >
6
6
<groupId >org.overturetool.vdm2c</groupId >
7
7
<artifactId >ide</artifactId >
8
- <version >0.1.5-SNAPSHOT </version >
8
+ <version >0.1.6 </version >
9
9
<relativePath >../pom.xml</relativePath >
10
10
</parent >
11
11
Original file line number Diff line number Diff line change 2
2
<feature
3
3
id =" org.overturetool.vdm2c.ide.features.cgen"
4
4
label =" VDM 2 C Code Generator"
5
- version =" 0.1.5.qualifier " >
5
+ version =" 0.1.6 " >
6
6
7
7
<description >
8
8
%description
Original file line number Diff line number Diff line change 5
5
<parent >
6
6
<groupId >org.overturetool.vdm2c.ide</groupId >
7
7
<artifactId >org.overturetool.vdm2c.ide.features</artifactId >
8
- <version >0.1.5-SNAPSHOT </version >
8
+ <version >0.1.6 </version >
9
9
<relativePath >../pom.xml</relativePath >
10
10
</parent >
11
11
Original file line number Diff line number Diff line change 5
5
<parent >
6
6
<groupId >org.overturetool.vdm2c</groupId >
7
7
<artifactId >ide</artifactId >
8
- <version >0.1.5-SNAPSHOT </version >
8
+ <version >0.1.6 </version >
9
9
<relativePath >../pom.xml</relativePath >
10
10
</parent >
11
11
Original file line number Diff line number Diff line change 5
5
<parent >
6
6
<groupId >org.overturetool.vdm2c</groupId >
7
7
<artifactId >root</artifactId >
8
- <version >0.1.5-SNAPSHOT </version >
8
+ <version >0.1.6 </version >
9
9
<relativePath >../pom.xml</relativePath >
10
10
</parent >
11
11
<packaging >pom</packaging >
You can’t perform that action at this time.
0 commit comments