Updating to v1.7.0 release

rambaut · rambaut · commit 08634942c34e · 2018-05-08T16:23:58.000+01:00
diff --git a/build.xml b/build.xml
@@ -29,7 +29,7 @@
         $Id: build_release.xml,v 1.6 2017/02/28 18:16:17 rambaut Exp $
     </description>
 
-    <property name="version" value="1.7-Pre20180412" />
+    <property name="version" value="1.7.0" />
     <property name="version_number" value="1.7.0" />
     <property name="release_dir" value="release" />
     <property name="name" value="Tracer" />
diff --git a/lib/trace.jar b/lib/trace.jar
diff --git a/src/tracer/application/TracerApp.java b/src/tracer/application/TracerApp.java
@@ -126,7 +126,7 @@ public void run() {
             }
 
             final String nameString = "Tracer";
-            final String versionString = "v1.7-Pre20180412";
+            final String versionString = "v1.7.0";
             String aboutString = "<html><font face=\"helvetica,san-serif\"><center><p>MCMC Trace Analysis Tool<br>" +
                     "Version " + versionString + ", 2003-2018</p>" +
                     "<p>by<br>" +

Original file line number	Diff line number	Diff line change
`@@ -126,7 +126,7 @@ public void run() {`
`126`	`126`	`}`
`127`	`127`
`128`	`128`	`final String nameString = "Tracer";`
`129`		`- final String versionString = "v1.7-Pre20180412";`
	`129`	`+ final String versionString = "v1.7.0";`
`130`	`130`	`String aboutString = "<html><font face=\"helvetica,san-serif\"><center><p>MCMC Trace Analysis Tool<br>" +`
`131`	`131`	`"Version " + versionString + ", 2003-2018</p>" +`
`132`	`132`	`"<p>by<br>" +`