Updating version numbers before a 1.10.1 release.

Author: rambaut

build.xml

@@ -319,10 +319,10 @@
     <!--
     <property name="version" value="1.9"/>
      -->
-    <property name="version" value="1.10.0"/>
+    <property name="version" value="1.10.1pre20180801"/>
     <property name="jvm_version" value="1.6+"/>
 
-    <property name="version_number" value="1.10.0"/>
+    <property name="version_number" value="1.10.1"/>
     <property name="copyright" value="Copyright 2002-2018"/>
 
     <property name="release_dir" value="release"/>

src/dr/app/beast/BeastVersion.java

@@ -53,14 +53,14 @@ public class BeastVersion implements Version, Citable {
     /**
      * Version string: assumed to be in format x.x.x
      */
-    private static final String VERSION = "1.10.0";
+    private static final String VERSION = "1.10.1";
 
     private static final String DATE_STRING = "2002-2018";
 
-    private static final boolean IS_PRERELEASE = false;
+    private static final boolean IS_PRERELEASE = true;
 
     // this is now being manually updated since the move to GitHub. 7 digits of GitHub hash.
-    private static final String REVISION = "8f265d5";
+    private static final String REVISION = "07125fa";
 
     public String getVersion() {
         return VERSION;