remove release 1.4.4 from web site

Author: damiendoligez

doc/web/content/Download/Binaries/Linux.html

@@ -21,25 +21,25 @@ <h2><img class="blogo" src="images/logo_linux35.png"
            alt="[Tux]"/>Linux</h2>
   <p class="first"> The package:
     <code><a type="application/x-executable"
-             href="../../../dist/current/tlaps-1.4.4-x86_64-linux-gnu-inst.bin">tlaps-1.4.4-x86_64-linux-gnu-inst.bin</a></code>
+             href="../../../dist/current/tlaps-1.4.3-i686-linux-gnu-inst.bin">tlaps-1.4.3-i686-linux-gnu-inst.bin</a></code>
   </p>
 
   <h3>1. Install the Proof System </h3>
   <p>You may have to change the installer's permissions with the
     following command-line:</p>
 
-  <div class="terminal">$ chmod a+x tlaps-1.4.4-x86_64-linux-gnu-inst.bin</div>
+  <div class="terminal">$ chmod a+x tlaps-1.4.3-*-linux-gnu-inst.bin</div>
 
   <p>In order to install the proof system
   into <code>/usr/local</code>, run the installer as:</p>
 
-  <div class="terminal">$ sudo ./tlaps-1.4.4-x86_64-linux-gnu-inst.bin</div>
+  <div class="terminal">$ sudo ./tlaps-1.4.3-*-linux-gnu-inst.bin</div>
   <p style="position:relative; left:70px; top:-10px">(you must have an
   administrator account, and you will have to type your password)</p>
 
   <p>If you want to install it in some other directory <em>dir</em>, run:</p>
 
-  <div class="terminal">$ sudo ./tlaps-1.4.4-x86_64-linux-gnu-inst.bin -d <em>dir</em></div>
+  <div class="terminal">$ sudo ./tlaps-1.4.3-*-linux-gnu-inst.bin -d <em>dir</em></div>
   <p style="position:relative; left:70px; top:-10px">(you must have an
   administrator account, and you will have to type your password)</p>
 

doc/web/content/Download/Binaries/MacOS.html

@@ -21,7 +21,7 @@ <h2><img class="blogo" src="images/logo_macosx30s.png"
            alt="[Apple logo]"/>Mac OS X (10.13 and later)</h2>
   <p class="first"> The package:
     <code><a type="application/octet-stream"
-             href="../../../dist/current/tlaps-1.4.4-i386-darwin-inst.bin">tlaps-1.4.4-i386-darwin-inst.bin</a></code>
+             href="../../../dist/current/tlaps-1.4.3-i386-darwin-inst.bin">tlaps-1.4.3-i386-darwin-inst.bin</a></code>
   </p>
 
   <h3>1. Install &nbsp; <code>make</code> </h3>
@@ -40,12 +40,12 @@ <h3>2. Install the Proof System </h3>
   <p>You may have to change the installer's permissions with the
   following command-line:</p>
 
-  <div class="terminal">$ chmod a+x tlaps-1.4.4-i386-darwin-inst.bin</div>
+  <div class="terminal">$ chmod a+x tlaps-1.4.3-i386-darwin-inst.bin</div>
 
   <p>In order to install the proof system
   into <code>/usr/local</code>, run the installer as:</p>
 
-  <div class="terminal">$ sudo ./tlaps-1.4.4-i386-darwin-inst.bin</div>
+  <div class="terminal">$ sudo ./tlaps-1.4.3-i386-darwin-inst.bin</div>
 
   <p style="position:relative; left:70px; top:-10px">(you must have an
   administrator account, and you will have to type your password)</p>

doc/web/content/Download/Binaries/Windows.html

@@ -22,7 +22,7 @@ <h2><img class="blogo" src="images/windows_logo_only.png"
            alt="[Windows logo]"/>Windows</h2>
   <p class="first"> The package:</p>
   <ul>
-    <li>for 32-bit Cygwin: <code><a href="../../../dist/current/tlaps-1.4.4-i686-cygwin-inst.exe">tlaps-1.4.4-i686-cygwin-inst.exe</a></code>
+    <li>for 32-bit Cygwin: <code><a href="../../../dist/current/tlaps-1.4.3-i686-cygwin-inst.exe">tlaps-1.4.3-i686-cygwin-inst.exe</a></code>
   </ul>
 
   <h3>1. Install Cygwin</h3>
@@ -41,13 +41,13 @@ <h3>2. Install the Cygwin packages &nbsp;
 
   <h3>3. Install the Proof System</h3>
   <p>Download the
-    <a href="../../../dist/current/tlaps-1.4.4-i686-cygwin-inst.exe">TLAPS
+    <a href="../../../dist/current/tlaps-1.4.3-i686-cygwin-inst.exe">TLAPS
     installer</a>
     and run the following command in a Cygwin terminal, from the
     directory in which the package has been downloaded
     (usually <code>/cygdrive/c/Users/$USER/Downloads</code>):</p>
 
-  <div class="terminal">$ ./tlaps-1.4.4-*-cygwin-inst.exe</div>
+  <div class="terminal">$ ./tlaps-1.4.3-*-cygwin-inst.exe</div>
 
   <p>This will install the TLAPM binary in <code>/usr/local/bin</code>
   and some other data in <code>/usr/local/lib/tlaps</code>, including

doc/web/content/Download/Previous_releases.html

@@ -19,20 +19,6 @@
 <div class="section">
   <h2 class="white">All releases</h2>
 
-  <h3> TLAPS version 1.4.4
-  &nbsp;&nbsp;<span style="font-size:80%;">(February 2020)</span> </h3>
-  <div class="hr"></div>
-
-  <ul>
-    <li><a href="../../dist/1.4.4/tlaps-1.4.4-i686-cygwin-inst.exe">Windows
-        binaries</a></li>
-    <li><a href="../../dist/1.4.4/tlaps-1.4.4-x86_64-linux-gnu-inst.bin">Linux
-        binaries</a></li>
-    <li><a href="../../dist/1.4.4/tlaps-1.4.4-i386-darwin-inst.bin">Mac
-        binaries</a></li>
-    <li><a href="../../dist/1.4.4/tlaps-1.4.4.tar.gz">Source</a></li>
-  </ul>
-
   <h3> TLAPS version 1.4.3
   &nbsp;&nbsp;<span style="font-size:80%;">(June 2015)</span> </h3>
   <div class="hr"></div>

doc/web/content/Download/Source.html

@@ -34,17 +34,17 @@ <h2>Generic Instructions</h2>
   </ul>
 
   <p> TLAPS tarball:
-    <a href="../../dist/current/tlaps-1.4.4.tar.gz">tlaps-1.4.4.tar.gz</a></p>
+    <a href="../../dist/current/tlaps-1.4.3.tar.gz">tlaps-1.4.3.tar.gz</a></p>
 
 
   <h3>1. Unpack TLAPS tarball</h3>
   <div class="hr"></div>
 
   <p>You can unpack TLAPS by running the following command:</p>
 
-  <div class="terminal">$ tar -xzf tlaps-1.4.4.tar.gz</div>
+  <div class="terminal">$ tar -xzf tlaps-1.4.3.tar.gz</div>
 
-  <p>This creates a directory named <code>tlaps-1.4.4</code> that
+  <p>This creates a directory named <code>tlaps-1.4.3</code> that
   contains four subdirectories: <code>tlapm</code>, <code>zenon</code>,
   <code>isabelle</code> and <code>emacs</code>.</p>
 
@@ -95,7 +95,7 @@ <h3>3. Compile and Install Zenon</h3>
 
   <p>Run the following commands.</p>
 
-  <div class="terminal">$ pushd tlaps-1.4.4/zenon<br/>
+  <div class="terminal">$ pushd tlaps-1.4.3/zenon<br/>
 $ ./configure &amp;&amp; make &amp;&amp; make install<br/>
 $ popd</div>
 
@@ -104,7 +104,7 @@ <h3>3. Compile and Install Zenon</h3>
   directory, or would rather install Zenon elsewhere, such as
   in <code>$HOME/bin</code>, run the following:</p>
 
-  <div class="terminal">$ pushd tlaps-1.4.4/zenon<br/>
+  <div class="terminal">$ pushd tlaps-1.4.3/zenon<br/>
 $ ./configure --prefix $HOME &amp;&amp; make &amp;&amp; make install<br/>
 $ popd</div>
 
@@ -144,7 +144,7 @@ <h3>5. Compile Isabelle/TLA+</h3>
   <div class="terminal">$ pushd /usr/local/Isabelle/src/Pure<br/>
 $ isabelle make<br/>
 $ popd<br/>
-$ pushd tlaps-1.4.4/isabelle<br/>
+$ pushd tlaps-1.4.3/isabelle<br/>
 $ make<br/>
 $ popd</div>
 
@@ -157,7 +157,7 @@ <h3>6. Compile the <strong>TLA</strong><sup>+</sup>
 
   <p>Run the following commands.</p>
 
-  <div class="terminal">$ pushd tlaps-1.4.4/tlapm<br/>
+  <div class="terminal">$ pushd tlaps-1.4.3/tlapm<br/>
 $ ./configure &amp;&amp; make all<br/>
 $ sudo make install<br/>
 $ popd</div>
@@ -167,7 +167,7 @@ <h3>6. Compile the <strong>TLA</strong><sup>+</sup>
   directory, or would rather install the <code>TLAPM</code> elsewhere,
   such as in <code>$HOME/bin</code>, run the following:</p>
 
-  <div class="terminal">$ pushd tlaps-1.4.4/tlapm<br/>
+  <div class="terminal">$ pushd tlaps-1.4.3/tlapm<br/>
 $ ./configure --prefix $HOME &amp;&amp; make all<br/>
 $ make install<br/>
 $ popd</div>

doc/web/content/Download/What_s_new.html

@@ -18,14 +18,6 @@
 
 <div class="section">
 
-  <h3> What'd new in TLAPS version 1.4.4
-  &nbsp;&nbsp;<span style="font-size:80%;">(February 2020)</span></h3>
-
-  <div class="hr"></div>
-
-  <p>We switched to Z3 for the default SMT back-end prover and fixed a
-  number of bugs (including some soundness bugs).</p>
-
   <h3> What's new in TLAPS version 1.4.3
   &nbsp;&nbsp;<span style="font-size:80%;">(June 2015)</span></h3>
 

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 (February 2020). It can (and
+<p>The current version of TLAPS is 1.4.3. 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