Skip to content
Snippets Groups Projects
Commit a51bb242 authored by Markus Alexander Kuppe's avatar Markus Alexander Kuppe
Browse files

[Build] Bump build number to 1.5.1 and release date to "UNRELEASED" for

next development cycle.
parent d49729bb
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
......@@ -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>
<?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>
......
......@@ -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>
......
......@@ -29,7 +29,7 @@
</property>
<property
name="aboutText"
value="TLA+ Toolbox provides a user interface for TLA+ Tools. &#x0A;&#x0A;This is Version 1.5.0 of 11 May 2015 and includes:&#x0A; - SANY Version 2.1 of 24 February 2014&#x0A; - TLC Version 2.06 of 9 May 2015&#x0A; - PlusCal Version 1.8 of 2 April 2013&#x0A; - TLATeX Version 1.0 of 12 April 2013&#x0A;&#x0A;Don&apos;t forget to click on help. You can learn about features that you never knew about or have forgotten.&#x0A;&#x0A;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. &#x0A;&#x0A;This is Version 1.5.1 of UNRELEASED and includes:&#x0A; - SANY Version 2.1 of 24 February 2014&#x0A; - TLC Version 2.07 of UNRELEASED&#x0A; - PlusCal Version 1.8 of 2 April 2013&#x0A; - TLATeX Version 1.0 of 12 April 2013&#x0A;&#x0A;Don&apos;t forget to click on help. You can learn about features that you never knew about or have forgotten.&#x0A;&#x0A;Please send us reports of problems or suggestions; see https://groups.google.com/d/forum/tlaplus .">
</property>
<property
name="aboutImage"
......
......@@ -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);
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment