| 1 | |
|---|
| 2 | |
|---|
| 3 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" |
|---|
| 4 | "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
|---|
| 5 | |
|---|
| 6 | <html xmlns="http://www.w3.org/1999/xhtml"> |
|---|
| 7 | <head> |
|---|
| 8 | <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> |
|---|
| 9 | |
|---|
| 10 | <title>Search — invariant v0.1.0 documentation</title> |
|---|
| 11 | <link rel="stylesheet" href="_static/default.css" type="text/css" /> |
|---|
| 12 | <link rel="stylesheet" href="_static/pygments.css" type="text/css" /> |
|---|
| 13 | <script type="text/javascript"> |
|---|
| 14 | var DOCUMENTATION_OPTIONS = { |
|---|
| 15 | URL_ROOT: '', |
|---|
| 16 | VERSION: '0.1.0', |
|---|
| 17 | COLLAPSE_INDEX: false, |
|---|
| 18 | FILE_SUFFIX: '.html', |
|---|
| 19 | HAS_SOURCE: true |
|---|
| 20 | }; |
|---|
| 21 | </script> |
|---|
| 22 | <script type="text/javascript" src="_static/jquery.js"></script> |
|---|
| 23 | <script type="text/javascript" src="_static/underscore.js"></script> |
|---|
| 24 | <script type="text/javascript" src="_static/doctools.js"></script> |
|---|
| 25 | <script type="text/javascript" src="_static/searchtools.js"></script> |
|---|
| 26 | <link rel="top" title="invariant v0.1.0 documentation" href="index.html" /> |
|---|
| 27 | </head> |
|---|
| 28 | <body> |
|---|
| 29 | <div class="related"> |
|---|
| 30 | <h3>Navigation</h3> |
|---|
| 31 | <ul> |
|---|
| 32 | <li class="right" style="margin-right: 10px"> |
|---|
| 33 | <a href="genindex.html" title="General Index" |
|---|
| 34 | accesskey="I">index</a></li> |
|---|
| 35 | <li class="right" > |
|---|
| 36 | <a href="py-modindex.html" title="Python Module Index" |
|---|
| 37 | >modules</a> |</li> |
|---|
| 38 | <li><a href="index.html">invariant v0.1.0 documentation</a> »</li> |
|---|
| 39 | </ul> |
|---|
| 40 | </div> |
|---|
| 41 | |
|---|
| 42 | <div class="document"> |
|---|
| 43 | <div class="documentwrapper"> |
|---|
| 44 | <div class="bodywrapper"> |
|---|
| 45 | <div class="body"> |
|---|
| 46 | |
|---|
| 47 | <h1 id="search-documentation">Search</h1> |
|---|
| 48 | <div id="fallback" class="admonition warning"> |
|---|
| 49 | <script type="text/javascript">$('#fallback').hide();</script> |
|---|
| 50 | <p> |
|---|
| 51 | Please activate JavaScript to enable the search |
|---|
| 52 | functionality. |
|---|
| 53 | </p> |
|---|
| 54 | </div> |
|---|
| 55 | <p> |
|---|
| 56 | From here you can search these documents. Enter your search |
|---|
| 57 | words into the box below and click "search". Note that the search |
|---|
| 58 | function will automatically search for all of the words. Pages |
|---|
| 59 | containing fewer words won't appear in the result list. |
|---|
| 60 | </p> |
|---|
| 61 | <form action="" method="get"> |
|---|
| 62 | <input type="text" name="q" value="" /> |
|---|
| 63 | <input type="submit" value="search" /> |
|---|
| 64 | <span id="search-progress" style="padding-left: 10px"></span> |
|---|
| 65 | </form> |
|---|
| 66 | |
|---|
| 67 | <div id="search-results"> |
|---|
| 68 | |
|---|
| 69 | </div> |
|---|
| 70 | |
|---|
| 71 | </div> |
|---|
| 72 | </div> |
|---|
| 73 | </div> |
|---|
| 74 | <div class="sphinxsidebar"> |
|---|
| 75 | <div class="sphinxsidebarwrapper"> |
|---|
| 76 | </div> |
|---|
| 77 | </div> |
|---|
| 78 | <div class="clearer"></div> |
|---|
| 79 | </div> |
|---|
| 80 | <div class="related"> |
|---|
| 81 | <h3>Navigation</h3> |
|---|
| 82 | <ul> |
|---|
| 83 | <li class="right" style="margin-right: 10px"> |
|---|
| 84 | <a href="genindex.html" title="General Index" |
|---|
| 85 | >index</a></li> |
|---|
| 86 | <li class="right" > |
|---|
| 87 | <a href="py-modindex.html" title="Python Module Index" |
|---|
| 88 | >modules</a> |</li> |
|---|
| 89 | <li><a href="index.html">invariant v0.1.0 documentation</a> »</li> |
|---|
| 90 | </ul> |
|---|
| 91 | </div> |
|---|
| 92 | |
|---|
| 93 | <div class="footer"> |
|---|
| 94 | © Copyright 2010, sans group. |
|---|
| 95 | Created using <a href="http://sphinx.pocoo.org/">Sphinx</a> 1.0b1. |
|---|
| 96 | </div> |
|---|
| 97 | <script type="text/javascript" src="searchindex.js"></script> |
|---|
| 98 | |
|---|
| 99 | </body> |
|---|
| 100 | </html> |
|---|
