forked from tamarin-prover/manual
-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathindex.html
31 lines (30 loc) · 952 Bytes
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
<!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='tex/tamarin-manual.pdf'>PDF</a> or as <a href='book/001_introduction.html'>HTML</a> for online browsing.
</p>
</div>
</div>
</body>
</html>