index.html

<!DOCTYPE html>
<html lang="en">
<head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <title>Tamarin Prover Manual</title>
    <link rel="stylesheet" type="text/css" href="book/book.css">
    <script src="book/book.js"></script>
    <link rel="stylesheet" href="book/styles/github.css">
<!--    <script src="book/highlight.pack.js"></script>
    <script>hljs.initHighlightingOnLoad();</script>
-->
</head>
<body class="tamarindoc">
    <!--[if lte IE 8]>
    <div class="warning">
        This old browser is unsupported and will most likely display funky
        things.
    </div>
    <![endif]-->
  <div id='page-wrapper'>
    <div id='page'>
<h1>Welcome to the Tamarin Manual</h1>
<p class="halfbreak">
The manual is available as a
<a href='master/tex/tamarin-manual.pdf'>PDF</a>
or as 
<a href='master/book/001_introduction.html'>HTML</a>
for online browsing. 
</p>

<p style="font-size: smaller">
(For developers and others who are working with the 
<a href="https://github.com/tamarin-prover/tamarin-prover/tree/develop">
    development branch
</a>
of Tamarin: see here for the
<a href='develop/tex/tamarin-manual.pdf'>PDF</a>
and
<a href='develop/book/001_introduction.html'>HTML</a>
in sync with <tt>develop</tt>.)
</p>
    </div>
  </div>
</body>
</html>