Skip to content
Permalink
Browse files

change the download links to absolute URLs pointing to the release pa…

…ge on GitHub. This allows us to host the pages on a different site without uploading any binary files (for example, github.io).
  • Loading branch information
damiendoligez committed Mar 17, 2020
1 parent 26e3a64 commit 07a8cd4fee74c271530cfa09c7ff851eb162383b
@@ -21,7 +21,7 @@ <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.5-x86_64-linux-gnu-inst.bin">tlaps-1.4.5-x86_64-linux-gnu-inst.bin</a></code>
href="https://github.com/tlaplus/tlapm/releases/download/v1.4.5/tlaps-1.4.5-x86_64-linux-gnu-inst.bin">tlaps-1.4.5-x86_64-linux-gnu-inst.bin</a></code>
</p>

<h3>1. Install the Proof System </h3>
@@ -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.5-i386-darwin-inst.bin">tlaps-1.4.5-i386-darwin-inst.bin</a></code>
href="https://github.com/tlaplus/tlapm/releases/download/v1.4.5/tlaps-1.4.5-i386-darwin-inst.bin">tlaps-1.4.5-i386-darwin-inst.bin</a></code>
</p>

<h3>1. Install &nbsp; <code>make</code> </h3>
@@ -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.5-i686-cygwin-inst.exe">tlaps-1.4.5-i686-cygwin-inst.exe</a></code>
<li>for 32-bit Cygwin: <code><a href="https://github.com/tlaplus/tlapm/releases/download/v1.4.5/tlaps-1.4.5-i686-cygwin-inst.exe">tlaps-1.4.5-i686-cygwin-inst.exe</a></code>
</ul>

<h3>1. Install Cygwin</h3>
@@ -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.5-i686-cygwin-inst.exe">TLAPS
<a href="https://github.com/tlaplus/tlapm/releases/download/v1.4.5/tlaps-1.4.5-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
@@ -24,81 +24,81 @@ <h3> TLAPS version 1.4.5
<div class="hr"></div>

<ul>
<li><a href="../../dist/1.4.5/tlaps-1.4.5-i686-cygwin-install.exe">Windows
<li><a href="https://github.com/tlaplus/tlapm/releases/download/v1.4.5/tlaps-1.4.5-i686-cygwin-install.exe">Windows
binaries</a></li>
<li><a href="../../dist/1.4.5/tlaps-1.4.5-x86_64-linux-gnu-install">Linux
<li><a href="https://github.com/tlaplus/tlapm/releases/download/v1.4.5/tlaps-1.4.5-x86_64-linux-gnu-install">Linux
binaries</a></li>
<li><a href="../../dist/1.4.5/tlaps-1.4.5-i386-darwin-install">Mac
<li><a href="https://github.com/tlaplus/tlapm/releases/download/v1.4.5/tlaps-1.4.5-i386-darwin-install">Mac
binaries</a></li>
<li><a href="../../dist/1.4.5/tlaps-1.4.5.tar.gz">Source</a></li>
<li><a href="https://github.com/tlaplus/tlapm/archive/v1.4.5.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>

<ul>
<li><a href="../../dist/1.4.3/tlaps-1.4.3-i686-cygwin-install.exe">Windows
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.4.3/tlaps-1.4.3-i686-cygwin-install.exe">Windows
binaries</a></li>
<li><a href="../../dist/1.4.3/tlaps-1.4.3-i686-linux-gnu-install">Linux
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.4.3/tlaps-1.4.3-i686-linux-gnu-install">Linux
binaries</a></li>
<li><a href="../../dist/1.4.3/tlaps-1.4.3-i386-darwin-install">Mac
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.4.3/tlaps-1.4.3-i386-darwin-install">Mac
binaries</a></li>
<li><a href="../../dist/1.4.3/tlaps-1.4.3.tar.gz">Source</a></li>
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.4.3/tlaps-1.4.3.tar.gz">Source</a></li>
</ul>

<h3> TLAPS version 1.3.2
&nbsp;&nbsp;<span style="font-size:80%;">(May 2014)</span> </h3>
<div class="hr"></div>

<ul>
<li><a href="../../dist/1.3.2/tlaps-1.3.2-i686-cygwin-install.exe">Windows
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.3.2/tlaps-1.3.2-i686-cygwin-install.exe">Windows
binaries</a></li>
<li><a href="../../dist/1.3.2/tlaps-1.3.2-i686-linux-gnu-install">Linux
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.3.2/tlaps-1.3.2-i686-linux-gnu-install">Linux
binaries</a></li>
<li><a href="../../dist/1.3.2/tlaps-1.3.2-i386-darwin-install">Mac
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.3.2/tlaps-1.3.2-i386-darwin-install">Mac
binaries</a></li>
<li><a href="../../dist/1.3.2/tlaps-1.3.2.tar.gz">Source</a></li>
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.3.2/tlaps-1.3.2.tar.gz">Source</a></li>
</ul>

<h3> TLAPS version 1.3.0
&nbsp;&nbsp;<span style="font-size:80%;">(March 2014)</span> </h3>
<div class="hr"></div>

<ul>
<li><a href="../../dist/1.3.0/tlaps-1.3.0-i686-cygwin-install.exe">Windows
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.3.0/tlaps-1.3.0-i686-cygwin-install.exe">Windows
binaries</a></li>
<li><a href="../../dist/1.3.0/tlaps-1.3.0-i686-linux-gnu-install">Linux
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.3.0/tlaps-1.3.0-i686-linux-gnu-install">Linux
binaries</a></li>
<li><a href="../../dist/1.3.0/tlaps-1.3.0-i386-darwin-install">Mac
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.3.0/tlaps-1.3.0-i386-darwin-install">Mac
binaries</a></li>
<li><a href="../../dist/1.3.0/tlaps-1.3.0.tar.gz">Source</a></li>
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.3.0/tlaps-1.3.0.tar.gz">Source</a></li>
</ul>

<h3> TLAPS version 1.2.1
&nbsp;&nbsp;<span style="font-size:80%;">(September 2013)</span> </h3>
<div class="hr"></div>

<ul>
<li><a href="../../dist/1.2.1/tlaps-1.2.1-i686-cygwin-install.exe">Windows
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.2.1/tlaps-1.2.1-i686-cygwin-install.exe">Windows
binaries</a></li>
<li><a href="../../dist/1.2.1/tlaps-1.2.1-i686-linux-gnu-install">Linux
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.2.1/tlaps-1.2.1-i686-linux-gnu-install">Linux
binaries</a></li>
<li><a href="../../dist/1.2.1/tlaps-1.2.1-i386-darwin-install">Mac
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.2.1/tlaps-1.2.1-i386-darwin-install">Mac
binaries</a></li>
<li><a href="../../dist/1.2.1/tlaps-1.2.1.tar.gz">Source</a></li>
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.2.1/tlaps-1.2.1.tar.gz">Source</a></li>
</ul>

<h3> TLAPS version 1.1.1
&nbsp;&nbsp;<span style="font-size:80%;">(November 2012)</span> </h3>
<div class="hr"></div>

<ul>
<li><a href="../../dist/1.1.1/tlaps-1.1.1-i686-cygwin-install.exe">Windows
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.1.1/tlaps-1.1.1-i686-cygwin-install.exe">Windows
binaries</a></li>
<li><a href="../../dist/1.1.1/tlaps-1.1.1-i686-linux-gnu-install">Linux
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.1.1/tlaps-1.1.1-i686-linux-gnu-install">Linux
binaries</a></li>
<li><a href="../../dist/1.1.1/tlaps-1.1.1-i386-darwin-install">Mac
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.1.1/tlaps-1.1.1-i386-darwin-install">Mac
binaries</a></li>
</ul>

@@ -107,29 +107,29 @@ <h3> TLAPS version 1.0
<div class="hr"></div>

<ul>
<li><a href="../../dist/1.0.25464/tlaps-1.0-i686-cygwin-install.exe">Windows
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.0.25464/tlaps-1.0-i686-cygwin-install.exe">Windows
binaries</a></li>
<li><a href="../../dist/1.0.25464/tlaps-1.0-i686-linux-gnu-install">Linux
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.0.25464/tlaps-1.0-i686-linux-gnu-install">Linux
binaries</a></li>
<li><a href="../../dist/1.0.25464/tlaps-1.0-i386-darwin-install">Mac
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.0.25464/tlaps-1.0-i386-darwin-install">Mac
binaries</a></li>
<li><a href="../../dist/1.0.25464/tlaps-1.0.tar.gz">Source</a></li>
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/1.0.25464/tlaps-1.0.tar.gz">Source</a></li>
</ul>

<h3> TLAPS version 0.9
&nbsp;&nbsp;<span style="font-size:80%;">(October 2010)</span> </h3>
<div class="hr"></div>

<ul>
<li><a href="../../dist/0.9.2010_10_07_02/TLAPS.tla">TLAPS Standard
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/0.9.2010_10_07_02/TLAPS.tla">TLAPS Standard
module</a></li>
<li><a href="../../dist/0.9.2010_10_07_02/tlaps-0.9.2010_10_07_02-i686-cygwin-install.exe">Windows
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/0.9.2010_10_07_02/tlaps-0.9.2010_10_07_02-i686-cygwin-install.exe">Windows
binaries</a></li>
<li><a href="../../dist/0.9.2010_10_07_02/tlaps-0.9.2010_10_07_02-i686-linux-gnu-install">Linux
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/0.9.2010_10_07_02/tlaps-0.9.2010_10_07_02-i686-linux-gnu-install">Linux
binaries</a></li>
<li><a href="../../dist/0.9.2010_10_07_02/tlaps-0.9.2010_10_07_02-i386-darwin-install">Mac
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/0.9.2010_10_07_02/tlaps-0.9.2010_10_07_02-i386-darwin-install">Mac
binaries</a></li>
<li><a href="../../dist/0.9.2010_10_07_02/tlaps-0.9.2010_10_07_02.tar.gz">Source</a></li>
<li><a href="https://tla.msr-inria.inria.fr/tlaps/dist/0.9.2010_10_07_02/tlaps-0.9.2010_10_07_02.tar.gz">Source</a></li>
</ul>
</div>

@@ -34,7 +34,7 @@ <h2>Generic Instructions</h2>
</ul>

<p> TLAPS tarball:
<a href="../../dist/current/tlaps-1.4.5.tar.gz">tlaps-1.4.5.tar.gz</a></p>
<a href="https://github.com/tlaplus/tlapm/archive/v1.4.5.tar.gz">tlaps-1.4.5.tar.gz</a></p>


<h3>1. Unpack TLAPS tarball</h3>

0 comments on commit 07a8cd4

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