← Back to branch summary

~ubuntu-branches/ubuntu/gutsy/funnelweb-doc/gutsy

« back to all changes in this revision

Viewing changes to reference/search.html

  • Committer: Bazaar Package Importer
  • Author(s): Yann Dirson
  • Date: 2002-03-28 23:21:07 UTC
  • Revision ID: james.westby@ubuntu.com-20020328232107-3d1jiqv1eqmco3j9
Tags: upstream-3.2d
Import upstream version 3.2d

Show diffs side-by-side

added added

removed removed

Lines of Context:
reference/search.html
 
1
 
 
2
<HTML>
 
3
<!--
 
4
***********************************************************************
 
5
FUNNELWEB MANUAL WEB PAGE
 
6
=========================
 
7
Copyright (c) Ross N. Williams 1992,1999. All rights reserved.
 
8
 
 
9
Permission is granted to redistribute and use this manual in
 
10
any medium, with or without modification, provided that all
 
11
notices (including, without limitation, the copyright
 
12
notice, this permission notice, any record of modification,
 
13
and all legal notices) are preserved on all copies, that all
 
14
modifications are clearly marked, and that modified versions
 
15
are not represented as the original version unless all the
 
16
modifications since the manual's original release by Ross N.
 
17
Williams (www.ross.net) consist of translations or other
 
18
transformations that alter only the manual's form, not its
 
19
content. THIS MANUAL IS PROVIDED "AS IS" AND WITHOUT ANY
 
20
EXPRESS OR IMPLIED WARRANTIES, INCLUDING, WITHOUT
 
21
LIMITATION, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND
 
22
FITNESS FOR A PARTICULAR PURPOSE. TO THE EXTENT PERMITTED BY
 
23
LAW THERE IS ABSOLUTELY NO WARRANTY.
 
24
 
 
25
***********************************************************************
 
26
-->
 
27
 
 
28
<HEAD>
 
29
<TITLE>Search FunnelWeb Documentation</TITLE>
 
30
<STYLE TYPE="text/css"> <!-- A {text-decoration: none} // --> </STYLE>
 
31
</HEAD>
 
32
<BODY BACKGROUND="binary/background.gif"
 
33
      BGCOLOR="#FFFFFF"
 
34
      TEXT="#000000"
 
35
      VLINK="#660000"
 
36
      LINK="#FF0000"
 
37
      ALINK="#CC0000">
 
38
 
 
39
<TABLE WIDTH="490">
 
40
<TR>
 
41
<TD WIDTH="130" VALIGN="top">
 
42
<IMG SRC="binary/d_clear.gif" ALT="" WIDTH="130" HEIGHT="1"><BR>
 
43
 
 
44
<FONT SIZE="2">
 
45
<BR>
 
46
 
 
47
<A HREF="http://www.ross.net/"
 
48
 TARGET="rosshome"
 
49
 onClick="window.open('','rosshome','location,status,menubar,scrollbars,resizable',false).focus(); return true;"
 
50
>
 
51
 <IMG SRC="binary/rossnet_logo.gif"
 
52
  WIDTH="64" HEIGHT="32"
 
53
  BORDER="0" ALT="RossNet"
 
54
  HSPACE="0" VSPACE="1"></A><BR>
 
55
<BR>
 
56
 
 
57
<A HREF="../index.shtml"
 
58
 TARGET="funnelweb"
 
59
 onClick="window.open('','funnelweb','location,status,menubar,scrollbars,resizable',false).focus(); return true;"
 
60
>
 
61
 <IMG SRC="binary/linklogo.gif"
 
62
  WIDTH="64" HEIGHT="32"
 
63
  BORDER="0" ALT="FunnelWeb"
 
64
  HSPACE="0" VSPACE="1"></A><BR>
 
65
<BR>
 
66
<TABLE CELLSPACING=0 CELLPADDING=0 BORDER=0><TR><TD BGCOLOR="#000000">
 
67
<A HREF="../tutorial/index.html"
 
68
 TARGET="funnelwebtutorial"
 
69
 onClick="window.open('','funnelwebtutorial','location,status,menubar,scrollbars,resizable',false).focus(); return true;"
 
70
><FONT COLOR="#FFFFFF"><B>Tutorial</B></FONT></A><BR>
 
71
<BR>
 
72
<A HREF="../developer/index.html"
 
73
 TARGET="funnelwebdeveloper"
 
74
 onClick="window.open('','funnelwebdeveloper','location,status,menubar,scrollbars,resizable',false).focus(); return true;"
 
75
><FONT COLOR="#FFFFFF"><B>Developer</B></FONT></A><BR>
 
76
<BR>
 
77
<A HREF="index.html"><FONT COLOR="#FFFFFF"><B>Reference</B></FONT></A><BR>
 
78
<A HREF="intro.html"><FONT COLOR="#FFFFFF">1 Introduction</FONT></A><BR>
 
79
<A HREF="interface.html"><FONT COLOR="#FFFFFF">2 Interface</FONT></A><BR>
 
80
<A HREF="scanner.html"><FONT COLOR="#FFFFFF">3 Scanner</FONT></A><BR>
 
81
<A HREF="parser.html"><FONT COLOR="#FFFFFF">4 Parser</FONT></A><BR>
 
82
<A HREF="analyser.html"><FONT COLOR="#FFFFFF">5 Analyser</FONT></A><BR>
 
83
<A HREF="tangle.html"><FONT COLOR="#FFFFFF">6 Tangle</FONT></A><BR>
 
84
<A HREF="weave.html"><FONT COLOR="#FFFFFF">7 Weave</FONT></A><BR>
 
85
<A HREF="shell.html"><FONT COLOR="#FFFFFF">8 Shell</FONT></A><BR>
 
86
<A HREF="commands.html"><FONT COLOR="#FFFFFF">9 Commands</FONT></A><BR>
 
87
<A HREF="glossary.html"><FONT COLOR="#FFFFFF">10 Glossary</FONT></A><BR>
 
88
<A HREF="references.html"><FONT COLOR="#FFFFFF">11 References</FONT></A><BR>
 
89
 
 
90
<BR>
 
91
<A HREF="search.html"><FONT COLOR="#FFFFFF"><B>SEARCH</B></FONT></A><BR>
 
92
</FONT>
 
93
</TD></TR></TABLE>
 
94
 
 
95
 
 
96
</TD>
 
97
<TD WIDTH="360" VALIGN="top">
 
98
<FONT SIZE="3">
 
99
 
 
100
 
 
101
<A HREF="index.html"><IMG SRC="binary/title.gif"
 
102
 WIDTH="316" HEIGHT="24"
 
103
 BORDER="0" ALT="FunnelWeb Reference Manual"
 
104
 HSPACE="0" VSPACE="0"></A>
 
105
<P><FONT SIZE="5">Search FunnelWeb Documentation</FONT><BR>
 
106
 
 
107
 
 
108
<P>Information about FunnelWeb is divided into the main FunnelWeb
 
109
web and the Tutorial, Reference, and Developer manual webs. Choose
 
110
a combination of manuals to search, and enter one or more keywords.
 
111
 
 
112
<P>
 
113
<FORM METHOD="POST" ACTION="search_form.cgi">
 
114
 
 
115
<input type=checkbox name="main" value="Y" >
 
116
   <A HREF="../"
 
117
    TARGET="funnelweb"
 
118
    onClick="window.open('','funnelweb','location,status,menubar,scrollbars,resizable',false).focus(); return true;"
 
119
   >FunnelWeb</A> Main Web (General information)<BR>
 
120
 
 
121
<input type=checkbox name="reference" value="Y" checked>
 
122
   <A HREF="index.html"
 
123
    TARGET="funnelwebreference"
 
124
    onClick="window.open('','funnelwebreference','location,status,menubar,scrollbars,resizable',false).focus(); return true;"
 
125
   >FunnelWeb Reference Manual</A> (Official definition)<BR>
 
126
 
 
127
<input type=checkbox name="tutorial" value="Y" >
 
128
   <A HREF="../tutorial/index.html"
 
129
    TARGET="funnelwebtutorial"
 
130
    onClick="window.open('','funnelwebtutorial','location,status,menubar,scrollbars,resizable',false).focus(); return true;"
 
131
   >FunnelWeb Tutorial Manual</A> (Tutorial and hints)<BR>
 
132
 
 
133
<input type=checkbox name="developer" value="Y" >
 
134
   <A HREF="../developer/index.html"
 
135
    TARGET="funnelwebdeveloper"
 
136
    onClick="window.open('','funnelwebdeveloper','location,status,menubar,scrollbars,resizable',false).focus(); return true;"
 
137
   >FunnelWeb Developer Manual</A> (How to compile)<BR>
 
138
 
 
139
<BR>
 
140
<INPUT TYPE="text" SIZE="40" NAME="keywords"><BR>
 
141
<FONT SIZE="1">
 
142
* Enter one or more words or word prefixes separated by spaces.<BR>
 
143
* Matching is case insensitive.<BR>
 
144
* Finds all pages containing at least one word.<BR>
 
145
* Add the word AND to find pages containing all the words.<BR>
 
146
* Searching will not work in offline copies of this web.<BR>
 
147
</FONT>
 
148
 
 
149
<BR>
 
150
<INPUT TYPE="submit" VALUE="Search">
 
151
 
 
152
 
 
153
<P><B>Note:</B> This search facility is
 
154
<BLINK><STRONG>UNAVAILABLE</STRONG></BLINK> because it invokes PERL
 
155
scripts specific to the original web's webserver, and you
 
156
are currently browsing a <STRONG>copy</STRONG> of the
 
157
original online web. If you need to perform a search, visit the
 
158
search page in the
 
159
<A HREF="http://www.ross.net/funnelweb/"
 
160
 TARGET="funnelweb"
 
161
 onClick="window.open('','funnelweb','location,status,menubar,scrollbars,resizable',false).focus(); return true;"
 
162
>Official Online FunnelWeb Website</A>.
 
163
 
 
164
 
 
165
</FORM>
 
166
 
 
167
 
 
168
 
 
169
<P>
 
170
<HR>
 
171
<FONT SIZE="2">
 
172
<A HREF="mailto:webmaster@ross.net">Webmaster</A>&nbsp;&nbsp;&nbsp;
 
173
<A HREF="copyright.html">Copyright &copy; Ross N. Williams 1992,1999. All rights reserved.</A><BR>
 
174
</FONT>
 
175
 
 
176
</FONT>
 
177
</TD>
 
178
</TR>
 
179
</TABLE>
 
180
 
 
181
 
 
182
</FONT>
 
183
</BODY>
 
184
 
 
185
<!-- *********************************************************************** -->
 
186
<!--      End Of A FunnelWeb Manual Web Page (www.ross.net/funnelweb/)       -->
 
187
<!-- *********************************************************************** -->
 
188
 
 
189
</HTML>