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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
<html>
<body bgcolor="#FFFFCE">
<table cellspacing=0 cellpadding=0 width="100%" height="100%">
<tr>
<td>
<center>
<table><tr><td>
<h2>Table of Contents</h2>
<font size=+1>
<p>
<ul>
<li> <b><a href="about.html">About Golly</a></b>
<li> <b><a href="intro.html">Introduction</a></b>
<li> <b><a href="tips.html">Hints and Tips</a></b>
<li> <b><a href="algos.html">Algorithms</a></b>
<li> <b><a href="Lexicon/lex.htm">Life Lexicon</a></b>
<li> <b><a href="archives.html">Online Archives</a></b>
</ul>
<p>
<ul>
<script type="text/javascript">
if ( navigator.userAgent.match(/iPad|iPhone|iPod/i) ) {
document.write("<li> <b><a href=\"pattern-ios.html\">Pattern Tab</a></b>\n");
document.write("<li> <b><a href=\"open-ios.html\">Open Tab</a></b>\n");
document.write("<li> <b><a href=\"settings-ios.html\">Settings Tab</a></b>\n");
document.write("<li> <b><a href=\"help-ios.html\">Help Tab</a></b>\n");
} else if ( navigator.userAgent.match(/Android/i) ) {
document.write("<li> <b><a href=\"pattern-android.html\">Golly Screen</a></b>\n");
document.write("<li> <b><a href=\"open-android.html\">Open Screen</a></b>\n");
document.write("<li> <b><a href=\"settings-android.html\">Settings Screen</a></b>\n");
document.write("<li> <b><a href=\"help-android.html\">Help Screen</a></b>\n");
}
</script>
</ul>
<p>
<ul>
<li> <b><a href="refs.html">References</a></b>
<li> <b><a href="formats.html">File Formats</a></b>
<li> <b><a href="bounded.html">Bounded Grids</a></b>
<li> <b><a href="problems.html">Known Problems</a></b>
<script type="text/javascript">
if ( navigator.userAgent.match(/iPad|iPhone|iPod/i) ) {
document.write("<li> <b><a href=\"changes-ios.html\">Changes</a></b>\n");
} else if ( navigator.userAgent.match(/Android/i) ) {
document.write("<li> <b><a href=\"changes-android.html\">Changes</a></b>\n");
}
</script>
<li> <b><a href="credits.html">Credits</a></b>
</ul>
</font>
</td></tr></table>
</center>
</td>
</tr>
</table>
</body>
</html>
|
