From 0cae24f399ef687032220bceb9926806ad14de3b Mon Sep 17 00:00:00 2001
From: Markus Alexander Kuppe <tlaplus.net@lemmster.de>
Date: Wed, 10 Jul 2019 09:22:28 -0700
Subject: [PATCH] Set date for 1.6.0 (Toolbox) release.
[Documentation][Toolbox][TLC]
---
.../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 | 4 ++--
tlatools/src/tlc2/TLCGlobals.java | 2 +-
4 files changed, 6 insertions(+), 6 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 866bc83a2..aeaafcf99 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
@@ -10,8 +10,8 @@
This is Version 1.6.0 of Day Month 20?? and includes:
- SANY Version 2.1 of 23 July 2017
- - TLC Version 2.13 of 18 July 2018
- - PlusCal Version 1.8 of 16 May 2018
+ - TLC Version 2.14 of 10 July 2019
+ - PlusCal Version 1.9 of 10 July 2019
- 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.
diff --git a/org.lamport.tla.toolbox.product.standalone/plugin.xml b/org.lamport.tla.toolbox.product.standalone/plugin.xml
index 68e11a41f..f711ae877 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.6.0 of Day Month 20?? and includes:
 - SANY Version 2.1 of 23 July 2017
 - TLC Version 2.13 of 18 July 2018
 - PlusCal Version 1.8 of 16 May 2018
 - 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 .

Some icons used in the Toolbox were provided by www.flaticon.com">
+ value="TLA+ Toolbox provides a user interface for TLA+ Tools. 

This is Version 1.6.0 of 10 July 2019 and includes:
 - SANY Version 2.1 of 23 July 2017
 - TLC Version 2.14 of 10 July 2019
 - PlusCal Version 1.9 of 10 July 2019
 - 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 .

Some icons used in the Toolbox were provided by www.flaticon.com">
</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 e90aa56e9..2d6c6cd3b 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
@@ -198,7 +198,7 @@ public class ToolboxIntroPart extends IntroPart implements IIntroPart {
/* Examples */
final StyledText styledExamples = new StyledText(outerContainer, SWT.WRAP | SWT.CENTER);
- styledExamples.setLayoutData(new GridData(SWT.LEFT, SWT.CENTER, true, false, 2, 1));
+ styledExamples.setLayoutData(new GridData(SWT.CENTER, SWT.CENTER, true, false, 2, 1));
styledExamples.setBackground(backgroundColor);
String exampleText = "Clicking on one of the buttons below imports an introductory example into the "
+ "Toolbox. More examples can be found in the TLA+ examples repository.\nTo run the TLC model "
@@ -431,7 +431,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.6.0 of Day Month 20??");
+ lblVersion.setText("Version 1.6.0 of 10 July 2019");
lblVersion.setBackground(backgroundColor);
}
diff --git a/tlatools/src/tlc2/TLCGlobals.java b/tlatools/src/tlc2/TLCGlobals.java
index 4257993e0..8c588e65b 100644
--- a/tlatools/src/tlc2/TLCGlobals.java
+++ b/tlatools/src/tlc2/TLCGlobals.java
@@ -23,7 +23,7 @@ public class TLCGlobals
public static final int DEFAULT_CHECKPOINT_DURATION = (30 * 60 * 1000) + 42;
// The current version of TLC
- public static String versionOfTLC = "Version 2.13 of 18 July 2018";
+ public static String versionOfTLC = "Version 2.14 of 10 July 2019";
// The bound for set enumeration, used for pretty printing
public static int enumBound = 2000;
--
GitLab