1.4.4 : fix release date in two more places

tlaplus · Feb 4, 2020 · 19de1e4 · 19de1e4
1 parent d40767b
commit 19de1e4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/doc/web/content/Download/What_s_new.html b/doc/web/content/Download/What_s_new.html
@@ -19,7 +19,7 @@
 <div class="section">
 
   <h3> What'd new in TLAPS version 1.4.4
-  &nbsp;&nbsp;<span style="font-size:80%;">(Januray 2020)</span></h3>
+  &nbsp;&nbsp;<span style="font-size:80%;">(February 2020)</span></h3>
 
   <div class="hr"></div>
 

diff --git a/doc/web/content/Home.html b/doc/web/content/Home.html
@@ -53,7 +53,7 @@ <h3> About</h3>
 <div class="section">
 <h3> Get it</h3>
 <div class="hr"></div>
-<p>The current version of TLAPS is 1.4.4 (June 2020). It can (and
+<p>The current version of TLAPS is 1.4.4 (February 2020). It can (and
   should) be used from the
   <a href="http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html">Toolbox
   IDE</a>. TLAPS is free software, distributed under the