-
Notifications
You must be signed in to change notification settings - Fork 10
/
email.html
64 lines (48 loc) · 1.84 KB
/
email.html
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
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<HTML LANG="EN-US">
<HEAD>
<!-- improve mobile display -->
<META NAME="viewport" CONTENT="width=device-width, initial-scale=1.0">
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<TITLE>Contact Metamath</TITLE>
<LINK REL="shortcut icon" HREF="favicon.ico" TYPE="image/x-icon">
</HEAD>
<BODY BGCOLOR="#FFFFFF" STYLE="padding: 0px 8px">
<TABLE BORDER=0 WIDTH="100%"><TR>
<TD ALIGN=left VALIGN=middle WIDTH="25%"><FONT SIZE=-2
FACE=sans-serif><A HREF="index.html"><IMG SRC="mm.gif" BORDER=0
ALT="Home" HEIGHT=32 WIDTH=32 ALIGN=MIDDLE>Metamath Home</A></FONT></TD>
<TD ALIGN=center NOWRAP><FONT SIZE="+3"
COLOR="#006633"><B>Contact us</B></FONT>
</TD>
<TD ALIGN=right VALIGN=top WIDTH="25%"> </TD>
</TR></TABLE>
<HR NOSHADE SIZE=1>
<p>The two best ways to contact the Metamath project are:</p>
<ol>
<li>Via the <a href="mm-mailing-list.html" >Metamath mailing list</a>.</li>
<li>By creating a GitHub issue (most often in the
<a href="https://github.com/metamath/set.mm" >set.mm</a> repository but we
also list related repositories at <a href="other.html" >other.html</a> and
some are in the <a href="https://github.com/metamath" >the Metamath GitHub
organization</a>).</li>
</ol>
<p>By asking questions in public you increase the chances of reaching
someone with the time and ability to respond.</p>
<p>However, the individuals listed in the <a
href="https://github.com/metamath/set.mm/blob/develop/CONTRIBUTING.md">CONTRIBUTING</a>
file are also willing to be contacted individually.</p>
<P>
<HR NOSHADE SIZE=1>
<TABLE WIDTH="100%">
<TR>
<TD ALIGN=RIGHT>
<FONT FACE="ARIAL" SIZE=-2> <A
HREF="http://validator.w3.org/check?uri=referer">W3C
HTML validation</A></FONT>
</TD>
</TR>
</TABLE>
</BODY>
</HTML>