From d310c7a865750ccde13ce8724481ee07857cee0b Mon Sep 17 00:00:00 2001
From: Cosmin Radoi <cosmin.radoi@gmail.com>
Date: Wed, 27 Jul 2016 21:03:28 -0500
Subject: [PATCH] [maven-release-plugin] prepare release v4.0.0

---
 API/pom.xml            | 6 ++----
 coq-backend/pom.xml    | 2 +-
 java-backend/pom.xml   | 2 +-
 k-distribution/pom.xml | 2 +-
 kernel/pom.xml         | 2 +-
 kore/pom.xml           | 2 +-
 pom.xml                | 4 ++--
 7 files changed, 9 insertions(+), 11 deletions(-)

diff --git a/API/pom.xml b/API/pom.xml
index b5456d6010..d4d6f62314 100644
--- a/API/pom.xml
+++ b/API/pom.xml
@@ -1,12 +1,10 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!-- Copyright (c) 2015-2016 K Team. All Rights Reserved. -->
-<project xmlns="http://maven.apache.org/POM/4.0.0"
-         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
-         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
+<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
     <parent>
         <artifactId>parent</artifactId>
         <groupId>org.kframework.k</groupId>
-        <version>4.0.0-SNAPSHOT</version>
+        <version>4.0.0</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
     <modelVersion>4.0.0</modelVersion>
diff --git a/coq-backend/pom.xml b/coq-backend/pom.xml
index e6e1a7fe96..7d3d8fec0f 100644
--- 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.0-SNAPSHOT</version>
+    <version>4.0.0</version>
   </parent>
   <artifactId>coq-backend</artifactId>
   <packaging>jar</packaging>
diff --git a/java-backend/pom.xml b/java-backend/pom.xml
index 2dfbec8c90..7ceb57fc21 100644
--- 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.0-SNAPSHOT</version>
+    <version>4.0.0</version>
   </parent>
   <artifactId>java-backend</artifactId>
   <packaging>jar</packaging>
diff --git a/k-distribution/pom.xml b/k-distribution/pom.xml
index 25a2d283f1..0bcd3aeb70 100644
--- 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.0-SNAPSHOT</version>
+    <version>4.0.0</version>
   </parent>
   <artifactId>k-distribution</artifactId>
   <packaging>jar</packaging>
diff --git a/kernel/pom.xml b/kernel/pom.xml
index 7ccd1a9086..e5556c3514 100644
--- a/kernel/pom.xml
+++ b/kernel/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>4.0.0-SNAPSHOT</version>
+    <version>4.0.0</version>
   </parent>
   <artifactId>kernel</artifactId>
   <packaging>jar</packaging>
diff --git a/kore/pom.xml b/kore/pom.xml
index 57fa9ccda5..55efdef7ca 100644
--- a/kore/pom.xml
+++ b/kore/pom.xml
@@ -6,7 +6,7 @@
   <parent>
     <groupId>org.kframework.k</groupId>
     <artifactId>parent</artifactId>
-    <version>4.0.0-SNAPSHOT</version>
+    <version>4.0.0</version>
     <relativePath>../pom.xml</relativePath>
   </parent>
   <artifactId>kore</artifactId>
diff --git a/pom.xml b/pom.xml
index faaf1d52f3..2ad87600c0 100644
--- a/pom.xml
+++ b/pom.xml
@@ -6,7 +6,7 @@
   <groupId>org.kframework.k</groupId>
   <artifactId>parent</artifactId>
   <packaging>pom</packaging>
-  <version>4.0.0-SNAPSHOT</version>
+  <version>4.0.0</version>
   <name>K Framework Tool Parent</name>
 
   <modules>
@@ -20,7 +20,7 @@
 
   <scm>
     <connection>scm:git:https://github.com/kframework/k.git</connection>
-    <tag>HEAD</tag>
+    <tag>v4.0.0</tag>
   </scm>
 
   <repositories>