From 2cf41975209078368ae974e1af519c1aeb1cf4be Mon Sep 17 00:00:00 2001
From: Markus Alexander Kuppe <tlaplus.net@lemmster.de>
Date: Mon, 29 Jan 2018 11:38:39 +0100
Subject: [PATCH] Set last-changed dates on all projects in preparation of the
upcoming 1.5.6 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 +-
tlatools/src/tlc2/TLCGlobals.java | 2 +-
4 files changed, 5 insertions(+), 5 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 a2e5f7690..40c02f80a 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,9 +8,9 @@
<text>
TLA+ Toolbox provides a user interface for TLA+ Tools.
-This is Version 1.5.6 of 16 January 2018 and includes:
+This is Version 1.5.6 of 29 January 2018 and includes:
- SANY Version 2.1 of 23 July 2017
- - TLC Version 2.12 of 16 January 2018
+ - TLC Version 2.12 of 29 January 2018
- PlusCal Version 1.8 of 07 December 2015
- TLATeX Version 1.0 of 20 September 2017
diff --git a/org.lamport.tla.toolbox.product.standalone/plugin.xml b/org.lamport.tla.toolbox.product.standalone/plugin.xml
index 091003f6e..279444ded 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.6 of 16 January 2018 and includes:
 - SANY Version 2.1 of 23 July 2017
 - TLC Version 2.12 of 16 January 2018
 - 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.6 of 29 January 2018 and includes:
 - SANY Version 2.1 of 23 July 2017
 - TLC Version 2.12 of 29 January 2018
 - 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 a736b8df2..a0060c28c 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.6 of 16 January 2018");
+ lblVersion.setText("Version 1.5.6 of 29 January 2018");
lblVersion.setBackground(backgroundColor);
}
diff --git a/tlatools/src/tlc2/TLCGlobals.java b/tlatools/src/tlc2/TLCGlobals.java
index 77db5dd9f..0e646f6ab 100644
--- a/tlatools/src/tlc2/TLCGlobals.java
+++ b/tlatools/src/tlc2/TLCGlobals.java
@@ -22,7 +22,7 @@ public class TLCGlobals
{
// The current version of TLC
- public static String versionOfTLC = "Version 2.12 of 16 January 2018";
+ public static String versionOfTLC = "Version 2.12 of 29 January 2018";
// The bound for set enumeration, used for pretty printing
public static int enumBound = 2000;
--
GitLab