Updated documentation and TLC date.

tlaplus · Apr 17, 2013 · 72a50eb · 72a50eb
1 parent 1b8c6b3
commit 72a50eb
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/general/docs/microsoft-release.txt b/general/docs/microsoft-release.txt
@@ -197,10 +197,12 @@ TO GENERATE THE RELEASE:
   Queries to msrcpx or Chuck Needham (chuckne)
 
 -------------------------------------------------------------
-Future Version 1.4.6
+Version 1.4.6
   - Fixed bug in PlusCal translator's generating of fairness formulas in 
     algorithms with procedures.
   - Fixed TLATeX bug
+  - Added handling of strings to TLC's handling of Tail and SubSeq
+    operators of Sequences module.
 
 Version 1.4.5
   - Added Decompose Proof command

diff --git a/tlatools/src/tlc2/TLCGlobals.java b/tlatools/src/tlc2/TLCGlobals.java
@@ -16,7 +16,7 @@ public class TLCGlobals
 {
 
     // The current version of TLC
-    public static String versionOfTLC = "Version 2.05 of 24 October 2012";
+    public static String versionOfTLC = "Version 2.05 of 17 April 2013";
 
     // The bound for set enumeration, used for pretty printing
     public static int enumBound = 2000;