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 866bc83a2a406d8a6886198e2b0b9b8ab51480a7..aeaafcf998dd0151dc6967f92a35652e17b3130f 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 68e11a41f32a696f162aad9b58fa64c8cf90c709..f711ae8773c3b89b4c4076ed4626e773a75fb86d 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.6.0 of Day Month 20?? and includes:&#x0A;  - SANY Version 2.1 of 23 July 2017&#x0A;  - TLC Version 2.13 of 18 July 2018&#x0A;  - PlusCal Version 1.8 of 16 May 2018&#x0A;  - TLATeX Version 1.0 of 20 September 2017&#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 .&#x0A;&#x0A;Some icons used in the Toolbox were provided by www.flaticon.com">
+               value="TLA+ Toolbox provides a user interface for TLA+ Tools. &#x0A;&#x0A;This is Version 1.6.0 of 10 July 2019 and includes:&#x0A;  - SANY Version 2.1 of 23 July 2017&#x0A;  - TLC Version 2.14 of 10 July 2019&#x0A;  - PlusCal Version 1.9 of 10 July 2019&#x0A;  - TLATeX Version 1.0 of 20 September 2017&#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 .&#x0A;&#x0A;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 e90aa56e9368f5f01ccd61e5b8510367ec4dd557..2d6c6cd3b2bd2e82e6f816f8f9714d1684a62299 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 4257993e0b46dc0e3ba84e4c8a1ffcafe07025fb..8c588e65bd3a9ee296cb96063230bab7c254eafb 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;