From 14252e906d0630ae605b81780380ee06b76ad102 Mon Sep 17 00:00:00 2001
From: Markus Alexander Kuppe <tlaplus.net@lemmster.de>
Date: Fri, 6 Oct 2017 20:09:16 +0200
Subject: [PATCH] Set last-changed dates on all projects in preparation of the
upcoming 1.5.4 release.
[Build]
---
.../org.lamport.tla.toolbox.product.product.product | 4 ++--
org.lamport.tla.toolbox.product.standalone/plugin.xml | 2 +-
.../org/lamport/tla/toolbox/ui/intro/ToolboxIntroPart.java | 2 +-
3 files changed, 4 insertions(+), 4 deletions(-)
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 2b6f3a44c..f608beb1b 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
@@ -8,7 +8,7 @@
<text>
TLA+ Toolbox provides a user interface for TLA+ Tools.
-This is Version 1.5.4 of 30 September 2017 and includes:
+This is Version 1.5.4 of 06 October 2017 and includes:
- SANY Version 2.1 of 23 July 2017
- TLC Version 2.10 of 28 September 2017
- PlusCal Version 1.8 of 07 December 2015
@@ -45,8 +45,8 @@ openFile
<windowImages i16="/org.lamport.tla.toolbox/icons/full/etool16/tla_launch_check_wiz_16.png" i32="/org.lamport.tla.toolbox/icons/full/etool16/tla_launch_check_wiz_32.png" i48="/org.lamport.tla.toolbox/icons/full/etool16/tla_launch_check_wiz_48.png" i64="/org.lamport.tla.toolbox/icons/full/etool16/tla_launch_check_wiz_64.png" i128="/org.lamport.tla.toolbox/icons/full/etool16/tla_launch_check_wiz_128.png" i256="/org.lamport.tla.toolbox/icons/full/etool16/tla_launch_check_wiz_256.png"/>
+
<launcher name="toolbox">
- <solaris/>
<win useIco="false">
<bmp/>
</win>
diff --git a/org.lamport.tla.toolbox.product.standalone/plugin.xml b/org.lamport.tla.toolbox.product.standalone/plugin.xml
index e6306aef6..239b8d7cc 100644
--- a/org.lamport.tla.toolbox.product.standalone/plugin.xml
+++ b/org.lamport.tla.toolbox.product.standalone/plugin.xml
@@ -30,7 +30,7 @@
</property>
<property
name="aboutText"
- value="TLA+ Toolbox provides a user interface for TLA+ Tools. 

This is Version 1.5.4 of 30 September 2017 and includes:
 - SANY Version 2.1 of 23 July 2017
 - TLC Version 2.10 of 28 September 2017
 - PlusCal Version 1.8 of 07 December 2015
 - TLATeX Version 1.0 of 20 September 2017

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.4 of 06 October 2017 and includes:
 - SANY Version 2.1 of 23 July 2017
 - TLC Version 2.10 of 28 September 2017
 - PlusCal Version 1.8 of 07 December 2015
 - TLATeX Version 1.0 of 20 September 2017

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.product.standalone/src/org/lamport/tla/toolbox/ui/intro/ToolboxIntroPart.java b/org.lamport.tla.toolbox.product.standalone/src/org/lamport/tla/toolbox/ui/intro/ToolboxIntroPart.java
index ac6fa8b51..a1e55c43b 100644
--- a/org.lamport.tla.toolbox.product.standalone/src/org/lamport/tla/toolbox/ui/intro/ToolboxIntroPart.java
+++ b/org.lamport.tla.toolbox.product.standalone/src/org/lamport/tla/toolbox/ui/intro/ToolboxIntroPart.java
@@ -175,7 +175,7 @@ public class ToolboxIntroPart extends IntroPart implements IIntroPart {
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.4 of 30 September 2017");
+ lblVersion.setText("Version 1.5.4 of 06 October 2017");
lblVersion.setBackground(backgroundColor);
}
--
GitLab