diff --git a/org.lamport.tla.toolbox.doc/META-INF/MANIFEST.MF b/org.lamport.tla.toolbox.doc/META-INF/MANIFEST.MF index 8bfc83d2f6abbdd5bd55ad83d5126c6e81bbc537..89939ce998431311287a8062fc35a66a44add039 100644 --- a/org.lamport.tla.toolbox.doc/META-INF/MANIFEST.MF +++ b/org.lamport.tla.toolbox.doc/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: TLA+ Toolbox Help Bundle-SymbolicName: org.lamport.tla.toolbox.doc; singleton:=true -Bundle-Version: 1.5.0.qualifier +Bundle-Version: 1.5.1.qualifier Bundle-RequiredExecutionEnvironment: J2SE-1.4 Bundle-Vendor: Simon Zambrovski, Leslie Lamport Bundle-ActivationPolicy: lazy diff --git a/org.lamport.tla.toolbox.doc/pom.xml b/org.lamport.tla.toolbox.doc/pom.xml index d31cecdde6832ee897dc667a2d135e132681eb74..00918419ce09ee13dfb9f5327201262aeaf9347a 100644 --- a/org.lamport.tla.toolbox.doc/pom.xml +++ b/org.lamport.tla.toolbox.doc/pom.xml @@ -11,6 +11,6 @@ </parent> <groupId>tlatoolbox</groupId> <artifactId>org.lamport.tla.toolbox.doc</artifactId> - <version>1.5.0-SNAPSHOT</version> + <version>1.5.1-SNAPSHOT</version> <packaging>eclipse-plugin</packaging> </project> diff --git a/org.lamport.tla.toolbox.product.product/org.lamport.tla.toolbox.product.product.product b/org.lamport.tla.toolbox.product.product/org.lamport.tla.toolbox.product.product.product index bc3001bf8d46044e2887f03faba5d82ac6020f2c..eb9fc20ee5a84937c71dc3efa2d537b9d2fbba00 100644 --- a/org.lamport.tla.toolbox.product.product/org.lamport.tla.toolbox.product.product.product +++ b/org.lamport.tla.toolbox.product.product/org.lamport.tla.toolbox.product.product.product @@ -1,16 +1,16 @@ <?xml version="1.0" encoding="UTF-8"?> <?pde version="3.5"?> -<product name="TLA+ Toolbox" uid="org.lamport.tla.toolbox.product.product" id="org.lamport.tla.toolbox.product.standalone.product" application="org.lamport.tla.toolbox.application" version="1.5.0" useFeatures="true" includeLaunchers="true"> +<product name="TLA+ Toolbox" uid="org.lamport.tla.toolbox.product.product" id="org.lamport.tla.toolbox.product.standalone.product" application="org.lamport.tla.toolbox.application" version="1.5.1" useFeatures="true" includeLaunchers="true"> <aboutInfo> <image path="/org.lamport.tla.toolbox.product.standalone/images/splash_small.png"/> <text> TLA+ Toolbox provides a user interface for TLA+ Tools. -This is Version 1.5.0 of 11 May 2015 and includes: +This is Version 1.5.1 of UNRELEASED and includes: - SANY Version 2.1 of 24 February 2014 - - TLC Version 2.06 of 9 May 2015 + - TLC Version 2.07 of UNRELEASED - PlusCal Version 1.8 of 2 April 2013 - TLATeX Version 1.0 of 12 April 2013 @@ -69,7 +69,7 @@ Please send us reports of problems or suggestions; see https://groups.google.com <plugin id="org.eclipse.equinox.http.registry" autoStart="true" startLevel="3" /> <plugin id="org.lamport.tla.toolbox.jclouds" autoStart="true" startLevel="4" /> <plugin id="sts" autoStart="true" startLevel="4" /> - <property name="eclipse.buildId" value="1.5.0" /> + <property name="eclipse.buildId" value="1.5.1" /> </configurations> <repositories> diff --git a/org.lamport.tla.toolbox.product.product/pom.xml b/org.lamport.tla.toolbox.product.product/pom.xml index c1a8e757555c069c84976a22794c476613e29baf..ee6c51827a2bda72ad3e7d4a6596920232dbac96 100644 --- a/org.lamport.tla.toolbox.product.product/pom.xml +++ b/org.lamport.tla.toolbox.product.product/pom.xml @@ -75,7 +75,7 @@ over features. The version segment has to be manually increment upon a release. see https://bugs.eclipse.org/bugs/show_bug.cgi?id=357503#c22 --> - <archiveFileName>TLAToolbox-1.5.0</archiveFileName> + <archiveFileName>TLAToolbox-1.5.1</archiveFileName> <rootFolder>toolbox</rootFolder> </product> </products> diff --git a/org.lamport.tla.toolbox.product.standalone/plugin.xml b/org.lamport.tla.toolbox.product.standalone/plugin.xml index 5a54abdfd343c8244f91d86eca811fab8083849c..2834b8f619306a6f525b7629c3bf9bb50a30fa14 100644 --- a/org.lamport.tla.toolbox.product.standalone/plugin.xml +++ b/org.lamport.tla.toolbox.product.standalone/plugin.xml @@ -29,7 +29,7 @@ </property> <property name="aboutText" - value="TLA+ Toolbox provides a user interface for TLA+ Tools. 

This is Version 1.5.0 of 11 May 2015 and includes:
 - SANY Version 2.1 of 24 February 2014
 - TLC Version 2.06 of 9 May 2015
 - PlusCal Version 1.8 of 2 April 2013
 - TLATeX Version 1.0 of 12 April 2013

Don't forget to click on help. You can learn about features that you never knew about or have forgotten.

Please send us reports of problems or suggestions; see https://groups.google.com/d/forum/tlaplus ."> + value="TLA+ Toolbox provides a user interface for TLA+ Tools. 

This is Version 1.5.1 of UNRELEASED and includes:
 - SANY Version 2.1 of 24 February 2014
 - TLC Version 2.07 of UNRELEASED
 - PlusCal Version 1.8 of 2 April 2013
 - TLATeX Version 1.0 of 12 April 2013

Don't forget to click on help. You can learn about features that you never knew about or have forgotten.

Please send us reports of problems or suggestions; see https://groups.google.com/d/forum/tlaplus ."> </property> <property name="aboutImage" diff --git a/org.lamport.tla.toolbox/src/org/lamport/tla/toolbox/ui/view/ToolboxWelcomeView.java b/org.lamport.tla.toolbox/src/org/lamport/tla/toolbox/ui/view/ToolboxWelcomeView.java index c79137f07e88ed6ad402b0ecd8b46730966cc2f0..277fbeca3ba0a5f4fb9ac97b30072ee0b4739a71 100644 --- a/org.lamport.tla.toolbox/src/org/lamport/tla/toolbox/ui/view/ToolboxWelcomeView.java +++ b/org.lamport.tla.toolbox/src/org/lamport/tla/toolbox/ui/view/ToolboxWelcomeView.java @@ -201,7 +201,7 @@ public class ToolboxWelcomeView extends ViewPart final Label lblVersion = new Label(outerContainer, SWT.WRAP); lblVersion.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, false, false, 2, 1)); - lblVersion.setText("Version 1.5.0 of 11 May 2015"); + lblVersion.setText("Version 1.5.1 of UNRELEASED"); lblVersion.setBackground(backgroundColor); }