diff --git a/dbgpc/src/main/scripts/dbgpc.sh b/dbgpc/src/main/scripts/dbgpc.sh
index 2506ad287..95922a5dc 100755
--- a/dbgpc/src/main/scripts/dbgpc.sh
+++ b/dbgpc/src/main/scripts/dbgpc.sh
@@ -4,8 +4,8 @@
 #####################################################################################
 
 # Change these to flip version
-MVERSION="4.6.0"
-PVERSION="4.6.0-P"
+MVERSION="4.7.0-SNAPSHOT"
+PVERSION="4.7.0-P-SNAPSHOT"
 
 # The Maven repository directory containing jars
 MAVENREPO=~/.m2/repository/dk/au/ece/vdmj
diff --git a/lsp/src/main/scripts/kate-lsp.sh b/lsp/src/main/scripts/kate-lsp.sh
index 4953e9859..84ad8e43a 100755
--- a/lsp/src/main/scripts/kate-lsp.sh
+++ b/lsp/src/main/scripts/kate-lsp.sh
@@ -11,8 +11,8 @@ function usage()
     exit 1
 }
 
-MVERSION="4.6.0"
-PVERSION="4.6.0-P"
+MVERSION="4.7.0-SNAPSHOT"
+PVERSION="4.7.0-P-SNAPSHOT"
 VERSION=$MVERSION
 
 # The Maven repository directory containing jars
diff --git a/lsp/src/main/scripts/lsp.sh b/lsp/src/main/scripts/lsp.sh
index 4fd1016e7..6cff180c2 100755
--- a/lsp/src/main/scripts/lsp.sh
+++ b/lsp/src/main/scripts/lsp.sh
@@ -11,8 +11,8 @@ function usage()
     exit 1
 }
 
-MVERSION="4.6.0"
-PVERSION="4.6.0-P"
+MVERSION="4.7.0-SNAPSHOT"
+PVERSION="4.7.0-P-SNAPSHOT"
 VERSION=$MVERSION
 
 # The Maven repository directory containing jars
diff --git a/packaging/src/main/scripts/README_VDMJ b/packaging/src/main/scripts/README_VDMJ
index a47017bca..5ba1f34c2 100644
--- a/packaging/src/main/scripts/README_VDMJ
+++ b/packaging/src/main/scripts/README_VDMJ
@@ -5,7 +5,7 @@ The VDMJ distribution contains a bash shell script, "vdmj.sh", to help you to st
 including all of the relevant jar files in the distribution ZIP. To run the script, unzip the distribution
 and add the extract folder to your $PATH.
 
-PATH=$PATH:~/vdmj-suite-4.6.0/
+PATH=$PATH:~/vdmj-suite-4.7.0-SNAPSHOT/
 
 nick@cube:~> vdmj.sh 
 Usage: vdmj.sh [-help] <VM and VDMJ options>
@@ -36,10 +36,10 @@ be sensible to add this to some sort of script in your environment. For simple i
 use "-jar", which uses the MainClass defined in its manifest; for more complex invocations, that include
 the other jars, you have to specify the "-cp" classpath and the main class "VDMJ":
 
-nick@cube> java -jar vdmj-4.6.0.jar 
+nick@cube> java -jar vdmj-4.7.0-SNAPSHOT.jar 
 You did not identify any source files
 
-nick@cube> java -jar vdmj-4.6.0.jar -vdmsl -i
+nick@cube> java -jar vdmj-4.7.0-SNAPSHOT.jar -vdmsl -i
 Interpreter started
 > p 1+1
 = 2
@@ -48,10 +48,10 @@ Executed in 0.009 secs.
 Bye
 
 nick@cube> java -Xmx2g -cp \
-	vdmj-4.6.0.jar:\
-	annotations-4.6.0.jar:\
-	cmd-plugins-4.6.0.jar:\
-	stdlib-4.6.0.jar VDMJ -annotations -i test.vdm
+	vdmj-4.7.0-SNAPSHOT.jar:\
+	annotations-4.7.0-SNAPSHOT.jar:\
+	cmd-plugins-4.7.0-SNAPSHOT.jar:\
+	stdlib-4.7.0-SNAPSHOT.jar VDMJ -annotations -i test.vdm
 Parsed 1 module in 0.103 secs. No syntax errors
 Type checked 1 module in 0.313 secs. No type errors
 Initialized 1 module in 0.292 secs. No init errors
diff --git a/packaging/src/main/scripts/vdmj.sh b/packaging/src/main/scripts/vdmj.sh
index c8a14334b..064af7c4e 100755
--- a/packaging/src/main/scripts/vdmj.sh
+++ b/packaging/src/main/scripts/vdmj.sh
@@ -4,7 +4,7 @@
 #####################################################################################
 
 # Change this to flip VDMJ version
-VERSION=${VDMJ_VERSION:-4.6.0}
+VERSION=${VDMJ_VERSION:-4.7.0-SNAPSHOT}
 
 function help()
 {
diff --git a/packaging/src/main/scripts/vsix.sh b/packaging/src/main/scripts/vsix.sh
index 51de9b2da..a2b569582 100755
--- a/packaging/src/main/scripts/vsix.sh
+++ b/packaging/src/main/scripts/vsix.sh
@@ -16,7 +16,7 @@ then
     usage
 fi
 
-VERSION="4.6.0"
+VERSION="4.7.0-SNAPSHOT"
 VDMJ="vdmj"
 
 SELF=$(which "$0")
diff --git a/pom.xml b/pom.xml
index 4d7dd886f..bb9ea3436 100644
--- a/pom.xml
+++ b/pom.xml
@@ -15,7 +15,7 @@
         <maven.build.timestamp.format>yyMMdd</maven.build.timestamp.format>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
 
-        <revision>4.6.0</revision>
+        <revision>4.7.0-SNAPSHOT</revision>
         <changelist></changelist>
         <sha1/>
     </properties>
diff --git a/vdmj/src/main/scripts/vdmsl.sh b/vdmj/src/main/scripts/vdmsl.sh
index 5c9d06b49..760f88edd 100755
--- a/vdmj/src/main/scripts/vdmsl.sh
+++ b/vdmj/src/main/scripts/vdmsl.sh
@@ -4,8 +4,8 @@
 #####################################################################################
 
 # Change these to flip VDMJ version
-MVERSION=${VDMJ_VERSION:-4.6.0}
-PVERSION=${VDMJ_PVERSION:-4.6.0-P}
+MVERSION=${VDMJ_VERSION:-4.7.0-SNAPSHOT}
+PVERSION=${VDMJ_PVERSION:-4.7.0-P-SNAPSHOT}
 
 # The Maven repository directory containing VDMJ versions
 MAVENREPO=~/.m2/repository/dk/au/ece/vdmj