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

Set last-changed dates on all projects in preparation of the upcoming

release.

[Build]
parent 996e6018
No related branches found
No related tags found
No related merge requests found
......@@ -8,11 +8,11 @@
<text>
TLA+ Toolbox provides a user interface for TLA+ Tools.
This is Version 1.5.3 of 11 February 2016 and includes:
- SANY Version 2.1 of 24 February 2014
- TLC Version 2.09 of 28 January 2016
- PlusCal Version 1.8 of 18 August 2015
- TLATeX Version 1.0 of 12 April 2013
This is Version 1.5.3 of 14 April 2017 and includes:
- SANY Version 2.1 of 10 February 2016
- TLC Version 2.09 of 10 March 2017
- PlusCal Version 1.8 of 07 December 2015
- TLATeX Version 1.0 of 04 August 2015
Don&apos;t forget to click on help. You can learn about features that you never knew about or have forgotten.
......
......@@ -30,7 +30,7 @@
</property>
<property
name="aboutText"
value="TLA+ Toolbox provides a user interface for TLA+ Tools. &#x0A;&#x0A;This is Version 1.5.3 of 11 February 2016 and includes:&#x0A; - SANY Version 2.1 of 24 February 2014&#x0A; - TLC Version 2.09 of 28 January 2016&#x0A; - PlusCal Version 1.8 of 18 August 2015&#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.3 of 14 April 2017 and includes:&#x0A; - SANY Version 2.1 of 10 February 2016&#x0A; - TLC Version 2.09 of 10 March 2017&#x0A; - PlusCal Version 1.8 of 07 December 2015&#x0A; - TLATeX Version 1.0 of 04 August 2015&#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"
......
......@@ -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.3 of 11 February 2016");
lblVersion.setText("Version 1.5.3 of 14 April 2017");
lblVersion.setBackground(backgroundColor);
}
......
......@@ -22,7 +22,7 @@ public class TLCGlobals
{
// The current version of TLC
public static String versionOfTLC = "Version 2.09 of 28 January 2016";
public static String versionOfTLC = "Version 2.09 of 10 March 2017";
// The bound for set enumeration, used for pretty printing
public static int enumBound = 2000;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment