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 a6ccfa056946994536d0a1369b81e437752ff1fa..c179ab99520b4d5425d0149eaf2273486533b0c7 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,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.
 
diff --git a/org.lamport.tla.toolbox.product.standalone/plugin.xml b/org.lamport.tla.toolbox.product.standalone/plugin.xml
index c08e41abb535bd5dadbc99dd9a525a3993718d0d..4c4d8dbd0cb940bcfdab73cf7903311d3fee6f0d 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. &#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"
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 121321c10c8e9c4926cc53dd95d233a9f3778fd2..c73604876bedbf1142766483ad593f4113b6c782 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.3  of 11 February 2016");
+		lblVersion.setText("Version 1.5.3  of 14 April 2017");
 		lblVersion.setBackground(backgroundColor);
 	}
 
diff --git a/tlatools/src/tlc2/TLCGlobals.java b/tlatools/src/tlc2/TLCGlobals.java
index 52b3bcc4ca31443ae824a39a6e20f0b82aa97b99..ac7fefb907e26338eaf8ee5266b7eb58c74005c8 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.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;