Skip to content
Permalink
Browse files

web site : a few minor corrections that were overlooked in the previo…

…us commit
  • Loading branch information
damiendoligez committed Feb 4, 2020
1 parent 66288f4 commit 21f81ba991d76eda6b19f8853faa1bba3e8be3e0
@@ -120,10 +120,9 @@ <h3>Prover options</h3>
<tr><td><tla>blast</tla></td><td>Isabelle with tactic <code>blast</code></td></tr>
<tr><td><tla>force</tla></td><td>Isabelle with tactic <code>force</code></td></tr>
<tr><td><tla>smt</tla></td><td>baseline SMT solver (by
default CVC3)</td></tr>
default Z3)</td></tr>
<tr><td><tla>z3</tla></td><td>Z3</td></tr>
<tr><td><tla>cvc4</tla></td><td>CVC4</td></tr>
<tr><td><tla>yices</tla></td><td>Yices</td></tr>
</table>
</li>
<li><code>--solver</code> <em>line</em> : change the baseline SMT
@@ -41,7 +41,7 @@ <h3>2. Install the Cygwin packages &nbsp;

<h3>3. Install the Proof System</h3>
<p>Download the
<a href="../../../dist/current/tlaps-1.4.3-i686-cygwin-inst.exe">TLAPS
<a href="../../../dist/current/tlaps-1.4.4-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
@@ -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.3 (June 2015). It can (and
<p>The current version of TLAPS is 1.4.4 (June 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

0 comments on commit 21f81ba

Please sign in to comment.
You can’t perform that action at this time.