prepare for release

kframework · Jul 28, 2016 · 9e3c517 · 9e3c517
1 parent de93e7a
commit 9e3c517
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 7 deletions.
diff --git a/API/pom.xml b/API/pom.xml
@@ -6,7 +6,7 @@
     <parent>
         <artifactId>parent</artifactId>
         <groupId>org.kframework.k</groupId>
-        <version>4.0-beta</version>
+        <version>4.0.0-SNAPSHOT</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
     <modelVersion>4.0.0</modelVersion>

diff --git a/coq-backend/pom.xml b/coq-backend/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>4.0-beta</version>
+    <version>4.0.0-SNAPSHOT</version>
   </parent>
   <artifactId>coq-backend</artifactId>
   <packaging>jar</packaging>

diff --git a/java-backend/pom.xml b/java-backend/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>4.0-beta</version>
+    <version>4.0.0-SNAPSHOT</version>
   </parent>
   <artifactId>java-backend</artifactId>
   <packaging>jar</packaging>

diff --git a/k-distribution/pom.xml b/k-distribution/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>4.0-beta</version>
+    <version>4.0.0-SNAPSHOT</version>
   </parent>
   <artifactId>k-distribution</artifactId>
   <packaging>jar</packaging>

diff --git a/kernel/pom.xml b/kernel/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>4.0-beta</version>
+    <version>4.0.0-SNAPSHOT</version>
   </parent>
   <artifactId>kernel</artifactId>
   <packaging>jar</packaging>

diff --git a/kore/pom.xml b/kore/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>4.0-beta</version>
+    <version>4.0.0-SNAPSHOT</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   <artifactId>kore</artifactId>

diff --git a/pom.xml b/pom.xml
@@ -6,7 +6,7 @@
   <groupId>org.kframework.k</groupId>
   <artifactId>parent</artifactId>
   <packaging>pom</packaging>
-  <version>4.0-beta</version>
+  <version>4.0.0-SNAPSHOT</version>
   <name>K Framework Tool Parent</name>
 
   <modules>