CINXE.COM

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> <head> <base href="https://www.gnu.org/cgi-bin/estseek.cgi"> <meta http-equiv="Cache-Control" content="no-cache, must-revalidate, no-transform"> <meta http-equiv="Content-Language" content="en"> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta http-equiv="Content-Style-Type" content="text/css"> <meta http-equiv="Content-Script-Type" content="text/javascript"> <meta name="generator" content="Hyper Estraier"> <meta name="robots" content="NOFOLLOW"> <link rel="contents" href="./"> <link rev="made" href="mailto:magnus@hyperestraier.gov"> <title>Hyper Estraier @ www.gnu.org</title> <style type="text/css">html { margin: 0em 0em; padding: 0em 0em; background: #ffffff none; } body { margin: 0em 0em; padding: 0em 0em; color: #111111; } div.estform { margin: 0.8em 1.0em; padding: 0em 1.0em; background: #eeeeff none; border: solid 1pt #bbbbcc; -moz-border-radius: 0.4em; } div.form_navi { position: absolute; top: 1.5em; right: 2em; margin: 0em 0em; padding: 0em 0em; text-align: right; font-size: smaller; } div.form_navi a,div.form_navi span { display: block; margin: -0.1em 0em; padding: 0em 0em; } a.navilink { color: #5588cc; text-decoration: none; } a.navilink:hover { color: #4499ee; text-decoration: underline; } span.navivoid { color: #99aaaa; } div.form_advanced { margin: 0.4em 0em; padding: 0em 0em; } th.ilabel { padding-right: 0.3em; text-align: right; font-weight: normal; font-size: smaller; } td.ivalue input.submit { width: 12em; } td.ivalue input.reset { width: 5em; } div.form_basic { margin: 0.4em 0em 0em 0em; padding: 0em 0em; font-size: smaller; } input.submit:hover,select:hover { cursor: pointer; } div.form_extension,div.form_genrecheck { margin: 0.3em 0em 0.3em 0em; padding: 0em 0em; font-size: smaller; } label.genrecheck { margin-right: 0.5em; } span.inputunit { margin: 0em 0.3em; } input.button { margin: 0.1em 0.1em; padding: 0em 0.5em; background: #dddddd none; border: solid 1pt #cccccc; -moz-border-radius: 0.3em; color: #888888; } input.button:hover { cursor: pointer; } input.abutton { background: #ccccdd none; border: inset 1pt #bbbbbb; color: #222222; } input.wbutton { width: 7.5em; } input.mbutton { width: 6.0em; } input.nbutton { width: 4.5em; } div.estresult { margin: 1.0em 1.0em; padding: 0em 0em; } div.resinfo { margin-right: 0.3em; text-align: right; font-size: smaller; } div.hints { margin-right: 0.8em; text-align: right; font-size: smaller; color: #555555; } div.relkeys { margin-right: 0.3em; text-align: right; font-size: smaller; color: #555555; opacity: 0.70; } div.relkeys a { color: #007777; text-decoration: none; } div.relkeys a:hover { color: #0066dd; text-decoration: underline; } dl.doc { margin: 1.3em 0em; } dl.doc dd { font-size: smaller; color: #222222; } a.doc_title { color: #0011ee; text-decoration: underline; } a.doc_title:hover { color: #0033ff; text-decoration: underline; } span.doc_score { font-size: smaller; color: #555555; } span.doc_score:before { content: "("; } span.doc_score:after { content: ")"; } span.doc_link { color: #007744; } dd.doc_attr { margin: 0em 0.8em; } span.doc_val { color: #111111; } dd.doc_text { margin: 0em 1.3em; } strong.key { margin: 0em -0.1em; padding: 0em 0.1em; color: #000011; -moz-border-radius: 0.3em; } strong.key1 { background-color: #ffffcc; } strong.key2 { background-color: #ffeeee; } strong.key3 { background-color: #eeeeff; } strong.key4 { background-color: #eeffdd; } code.delim { color: #555555; letter-spacing: -0.1em; } dd.doc_navi { margin: 0em 1.1em; } div.doc_clip { margin-left: 2.5em; margin-top: -0.6em; } div.doc_clip p { font-size: smaller; color: #444444; } a.display,a.detail,a.similar,a.dir,a.include { color: #007777; text-decoration: none; } a.display:hover,a.detail:hover,a.similar:hover,a.dir:hover,a.include:hover { color: #0066dd; text-decoration: underline; } p.note { margin: 3em 1.5em; color: #444444; } div.paging { margin: 2em 1em; text-align: right; font-size: smaller; } a.navi { margin: 0em 0.2em; padding: 0em 0.5em; background: #eeeeff none; border: solid 1pt #bbbbcc; -moz-border-radius: 0.25em; color: #0022aa; text-decoration: none; } span.void { margin: 0em 0.2em; padding: 0em 0.5em; background: #eeeeee none; border: solid 1pt #bbbbcc; -moz-border-radius: 0.25em; color: #aaaaaa; opacity: 0.70; } a.pnum { margin: 0em 0em; padding: 0em 0.2em; background: #eeeeff none; border: solid 1pt #bbbbcc; -moz-border-radius: 0.25em; font-size: smaller; color: #0022aa; text-decoration: none; } span.pnow { margin: 0em 0em; padding: 0em 0.2em; background: #ffeedd none; border: solid 1pt #bbbbcc; -moz-border-radius: 0.25em; } div.estinfo { margin: 1.5em 1.0em; padding: 0em 0em; text-align: right; font-size: smaller; color: #555555; opacity: 0.80; } div.estinfo a { color: #555555; text-decoration: none; } div.logo { margin: 15.0em 1em; text-align: center; } div.logo h1 { color: #000000; } div.logo div.caption { margin-top: -0.9em; color: #222222; } div.help { margin: 2em 4em; padding: 2em 2em; background-color: #eeeeff; border: 2pt solid #ddddee; -moz-border-radius: 0.8em; } div.help h1 { margin: -1em 0em; padding: 0em 0em; text-align: right; font-weight: normal; font-size: smaller; } div.help h2 { margin-top: 1.2em; } div.help p { line-height: 145%; text-indent: 0.8em; } div.help pre { margin: 0em 2em; padding: 0em 0.2em; background-color: #ffffff; border: 1pt solid #999999; -moz-border-radius: 0.2em; } </style> <script type="text/javascript"> // @license magnet:?xt=urn:btih:5de60da917303dbfad4f93fb1b985ced5a89eac2&dn=lgpl-2.1.txt LGPL-v2.1 function startup(){ if((document.location + "").indexOf("#") != -1) return; var elem = document.getElementById("phrase"); if(elem) elem.focus(); } window.onload = startup; function changemax(){ var elem = document.getElementById("form_self"); if(elem) elem.submit(); } function changeclip(){ var elem = document.getElementById("form_self"); if(elem) elem.submit(); } function changetarget(value){ var felem = document.getElementById("form_self"); if(felem){ var aelem = document.getElementById("attr"); if(aelem) aelem.value = value; felem.submit(); } } function changeorder(value){ var felem = document.getElementById("form_self"); if(felem){ var oelem = document.getElementById("order"); if(oelem) oelem.value = value; felem.submit(); } } // @license-end </script> <meta http-equiv="X-Translated-By" content="Google"> <meta http-equiv="X-Translated-To" content="en"> <script type="text/javascript" src="https://www.gstatic.com/_/translate_http/_/js/k=translate_http.tr.en_GB.tKc6KWkFf-8.O/am=gAE/d=1/rs=AN8SPfrf36LIV3DkhtRBGWFnLWWzaykPyw/m=corsproxy" data-sourceurl="https://www.gnu.org/cgi-bin/estseek.cgi"></script> <link href="https://fonts.googleapis.com/css2?family=Material+Symbols+Outlined:opsz,wght,FILL,GRAD@20..48,100..700,0..1,-50..200" rel="stylesheet"> <script type="text/javascript" src="https://www.gstatic.com/_/translate_http/_/js/k=translate_http.tr.en_GB.tKc6KWkFf-8.O/am=gAE/d=1/exm=corsproxy/ed=1/rs=AN8SPfrf36LIV3DkhtRBGWFnLWWzaykPyw/m=phishing_protection" data-phishing-protection-enabled="false" data-forms-warning-enabled="true" data-source-url="https://www.gnu.org/cgi-bin/estseek.cgi"></script> <meta name="robots" content="none"> </head> <body> <script type="text/javascript" src="https://www.gstatic.com/_/translate_http/_/js/k=translate_http.tr.en_GB.tKc6KWkFf-8.O/am=gAE/d=1/exm=corsproxy,phishing_protection/ed=1/rs=AN8SPfrf36LIV3DkhtRBGWFnLWWzaykPyw/m=navigationui" data-environment="prod" data-proxy-url="https://www-gnu-org.translate.goog" data-proxy-full-url="https://www-gnu-org.translate.goog/cgi-bin/estseek.cgi?_x_tr_sl=auto&_x_tr_tl=en&_x_tr_hl=en-GB" data-source-url="https://www.gnu.org/cgi-bin/estseek.cgi" data-source-language="auto" data-target-language="en" data-display-language="en-GB" data-detected-source-language="en" data-is-source-untranslated="false" data-source-untranslated-url="https://translate.google.com/website?sl=auto&tl=en&hl=en-GB&u=https://www.gnu.org/cgi-bin/estseek.cgi&anno=2" data-client="tr"></script> <div id="estform" class="estform"> <form action="estseek.cgi" method="get" id="form_self"> <div class="form_navi"><a href="https://www-gnu-org.translate.goog/cgi-bin/estseek.cgi?navi=1&_x_tr_sl=auto&_x_tr_tl=en&_x_tr_hl=en-GB" class="navilink">advanced</a> <a href="https://www-gnu-org.translate.goog/cgi-bin/estseek.cgi?navi=2&_x_tr_sl=auto&_x_tr_tl=en&_x_tr_hl=en-GB" class="navilink">help</a> </div> <div class="form_basic"><input type="text" name="phrase" value="" size="80" id="phrase" class="text" tabindex="1" accesskey="0"> <input type="submit" value="Search" id="search" class="submit" tabindex="2" accesskey="1"> </div> <div class="form_extension"><select name="perpage" id="perpage" tabindex="3"> <option value="10" selected>10</option> <option value="20">20</option> <option value="30">30</option> <option value="40">40</option> <option value="50">50</option> <option value="60">60</option> <option value="70">70</option> <option value="80">80</option> <option value="90">90</option> <option value="100">100</option> </select> per page, with <input type="text" name="attr" value="" size="18" id="attr" class="text" tabindex="4" accesskey="2"> , order by <input type="text" name="order" value="" size="14" id="order" class="text" tabindex="5" accesskey="3"> , clip by <select name="clip" id="unlike" tabindex="6"> <option value="-1">--</option> <option value="9">0.9</option> <option value="8">0.8</option> <option value="7">0.7</option> <option value="6">0.6</option> <option value="5">0.5</option> <option value="4">0.4</option> <option value="3">0.3</option> <option value="2">0.2</option> <option value="1">0.1</option> <option value="1020">file</option> <option value="1010">dir</option> <option value="1000">serv</option> </select> <span class="inputhidden"> <input type="hidden" name="navi" value="0" id="navi"> </span> </div> </form> </div> <div class="logo"> <h1 class="title">Hyper Estraier</h1> <div class="caption"> a full-text search system for communities </div> </div> <div id="estinfo" class="estinfo"> Powered by <a href="https://translate.google.com/website?sl=auto&tl=en&hl=en-GB&u=http://fallabs.com/hyperestraier/">Hyper Estraier</a> 1.4.13, with 223740 documents and 1088547 words. </div> <script>function gtElInit() {var lib = new google.translate.TranslateService();lib.translatePage('en', 'en', function () {});}</script> <script src="https://translate.google.com/translate_a/element.js?cb=gtElInit&hl=en-GB&client=wt" type="text/javascript"></script> </body> </html>