forked from gap-system/GapWWW
-
Notifications
You must be signed in to change notification settings - Fork 0
/
search.mixer
46 lines (40 loc) · 1.63 KB
/
search.mixer
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
<?xml version="1.0" encoding="utf-8"?>
<mixer template="gw.tmpl">
<mixertitle>Search the GAP web site</mixertitle>
<hr/>
<p>You can use Google to search within the complete GAP website, manuals of GAP and packages, and GAP Forum archives.</p>
<h2>Complete GAP website (including manuals)</h2>
<p>
Here and below, to enforce the search of a particular command, you may need to enclose it in quotes
(e.g. to avoid entering CharacterTable and getting results for "character table" as well)
</p>
<form action="https://google.com/search" method="get">
<input type="hidden" name="sitesearch" value="www.gap-system.org" />
<input type="text" size="60" name="query" />
<button type="submit">Search</button>
</form>
<br/>
<h2>Manuals of GAP and packages</h2>
<form action="https://google.com/search" method="get">
<input type="hidden" name="sitesearch" value="www.gap-system.org/Manuals/" />
<input type="text" size="60" name="query" />
<button type="submit">Search</button>
</form>
<br/>
<h2>GAP Forum Archives since December 2003</h2>
<p>
Please note that GAP Forum Archives since December 2003 are not covered by the complete GAP website search above
</p>
<form action="https://google.com/search" method="get">
<input type="hidden" name="sitesearch" value="https://mail.gap-system.org/pipermail/forum/" />
<input type="text" size="60" name="query" />
<button type="submit">Search</button>
</form>
<br/>
<h2>Pre-2004 Forum Archives</h2>
<form action="https://google.com/search" method="get">
<input type="hidden" name="sitesearch" value="www.gap-system.org/ForumArchive/" />
<input type="text" size="60" name="query" />
<button type="submit">Search</button>
</form>
</mixer>