Uh oh!
There was an error while loading. Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork 2
Expand file tree
/
Copy pathsearch.html
More file actions
Latest commit
105 lines (83 loc) · 3.4 KB
/
Copy pathsearch.html
File metadata and controls
105 lines (83 loc) · 3.4 KB
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
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
<!DOCTYPE html>
<htmllang="en" data-content_root="./">
<head>
<metacharset="utf-8" />
<metaname="viewport" content="width=device-width, initial-scale=1.0" />
<title>Search — Object-oriented Programming documentation</title>
<linkrel="stylesheet" type="text/css" href="_static/pygments.css?v=03e43079" />
<linkrel="stylesheet" type="text/css" href="_static/fenics.css?v=8c7d05f9" />
<linkrel="stylesheet" type="text/css" href="_static/proof.css" />
<linkrel="stylesheet" type="text/css" href="_static/graphviz.css?v=fd3f3429" />
<scriptsrc="_static/documentation_options.js?v=5929fcd5"></script>
<scriptsrc="_static/doctools.js?v=9a2dae69"></script>
<scriptsrc="_static/sphinx_highlight.js?v=dc90522c"></script>
<scriptsrc="_static/proof.js"></script>
<scriptsrc="_static/searchtools.js"></script>
<scriptsrc="_static/language_data.js"></script>
<linkrel="index" title="Index" href="genindex.html" />
<linkrel="search" title="Search" href="#" />
<scriptsrc="searchindex.js" defer="defer"></script>
<metaname="robots" content="noindex" />
<!--[if lte IE 6]>
<link rel="stylesheet" href="_static/ie6.css" type="text/css" media="screen" charset="utf-8" />
<![endif]-->
<!-- Global site tag (gtag.js) - Google Analytics -->
<scriptasyncsrc="https://www.googletagmanager.com/gtag/js?id=G-0EFVH5C4DC"></script>
<script>
window.dataLayer=window.dataLayer||[];
functiongtag(){dataLayer.push(arguments);}
gtag('js',newDate());
gtag('config','G-0EFVH5C4DC');
</script>
<linkrel="stylesheet" href="_static/featured.css">
<linkrel="shortcut icon" href="_static/icon.ico" />
</head><body>
<divclass="wrapper">
<ahref="index.html"><imgsrc="_static/banner.png" width="900px" alt="FInAT Project Banner" /></a>
<divid="access">
<divclass="menu">
<ul>
<liclass="page_item"><ahref="index.html" title="Book">Book</a></li>
<liclass="page_item"><ahref="videos.html" title="Videos">Videos</a></li>
<liclass="page_item"><ahref="exercises.html"
title="Exercises">Exercises</a></li>
<liclass="page_item"><ahref="installation.html" title="Installation">Installation</a></li>
</ul>
</div><!-- .menu -->
</div><!-- #access -->
</div><!-- #wrapper -->
<divclass="document">
<divclass="documentwrapper">
<divclass="bodywrapper">
<divclass="body" role="main">
<h1id="search-documentation">Search</h1>
<noscript>
<divclass="admonition warning">
<p>
Please activate JavaScript to enable the search
functionality.
</p>
</div>
</noscript>
<p>
Searching for multiple words only shows matches that contain
all words.
</p>
<formaction="" method="get">
<inputtype="text" name="q" aria-labelledby="search-documentation" value="" autocomplete="off" autocorrect="off" autocapitalize="off" spellcheck="false"/>
<inputtype="submit" value="search" />
<spanid="search-progress" style="padding-left: 10px"></span>
</form>
<divid="search-results"></div>
<divclass="clearer"></div>
</div>
</div>
</div>
<divclass="clearer"></div>
</div>
<divclass="footer" role="contentinfo">
© Copyright 2019-2023, David A. Ham.
Created using <ahref="https://www.sphinx-doc.org/">Sphinx</a> 7.4.7.
</div>
</body>
</html>