-
Notifications
You must be signed in to change notification settings - Fork 10
/
missing.html
113 lines (96 loc) · 4.42 KB
/
missing.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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<HTML LANG="EN-US">
<HEAD>
<META HTTP-EQUIV="Content-Type"
CONTENT="text/html; charset=iso-8859-1">
<TITLE>404 Not Found</TITLE>
</HEAD>
<BODY BGCOLOR="#FFFFFF" STYLE="padding: 0px 8px">
<CENTER>
<FONT SIZE="+3" COLOR="#006600"><B>This Metamath page does not
exist or has
moved</B></FONT></CENTER>
<HR NOSHADE SIZE=1>
<!-- To invoke this page, the Apache configuration file
/etc/httpd/conf/httpd.conf should have
the line:
ErrorDocument 404 /missing.html
-->
<P>(HTTP Error 404 -- Not Found)
<P>This page has probably moved. If you want to locate a specific page,
try these recent changes.
<P>The Symbol font version has been replaced by a Unicode version. The
directory <B>mpesym</B> has been replaced with <B>mpeuni</B>. For
example, page <B>mpesym/mmset.html</B> is now <A
HREF="http://us.metamath.org/mpeuni/mmset.html">mpeuni/mmset.html</A>.
<P>Some older page name changes include the following.
<UL>
<LI><B>mpegif/proofstep.png</B> is now
<A HREF="http://us.metamath.org/mpegif/_proofstep.png">mpegif/_proofstep.png</A>
<LI><B>mm.html</B> (Home Page) is now
<A HREF="http://us.metamath.org/index.html">index.html</A>
<LI><B>mmexplorer/mmmusic.html</B> (Metamath Music Page) is now
<A HREF="http://us.metamath.org/mpegif/mmmusic.html">mpegif/mmmusic.html</A>
<LI><B>mms.html</B> (Metamath Solitaire) is now
<A HREF="http://us.metamath.org/mmsolitaire/mms.html">mmsolitaire/mms.html</A>
<LI><B>mmexplorer/mmexplorer.html</B> (Metamath Proof Explorer) is now
<A HREF="http://us.metamath.org/mpegif/mmset.html">mpegif/mmset.html</A>
<LI><B>mmexplorer/mmhil.html</B> is now
<A HREF="http://us.metamath.org/mpegif/mmhil.html">mpegif/mmhil.html</A>
<LI><B>mmexplorer/peirce.html</B> is now
<A HREF="http://us.metamath.org/mpegif/peirce.html">mpegif/peirce.html</A>
<LI><B>mmexplorer/lt01.html</B> is now
<A HREF="http://us.metamath.org/mpegif/lt01.html">mpegif/lt01.html</A>
<LI><B>mmexplorer/theorems.html</B> is now
<A HREF="http://us.metamath.org/mpegif/mmtheorems.html">mpegif/mmtheorems.html</A>
<LI><B>mmexplorer/definitions.html</B> is now
<A HREF="http://us.metamath.org/mpegif/mmdefinitions.html">mpegif/mmdefinitions.html</A>
<LI><B>mmexplorer1/mmexplorer.html</B> is now
<A HREF="http://us.metamath.org/mpegif/mmset.html">mpegif/mmset.html</A>
<LI><B>mmexplorer1/mmmusic.html</B> is now
<A HREF="http://us.metamath.org/mpegif/mmmusic.html">mpegif/mmmusic.html</A>
<LI><B>mmexplorer1/2p2e4.html</B> is now
<A HREF="http://us.metamath.org/mpegif/2p2e4.html">mpegif/2p2e4.html</A>
<LI><B>mmexplorer1/prth.html</B> is now
<A HREF="http://us.metamath.org/mpegif/prth.html">mpegif/prth.html</A>
<LI><B>mmexplorer1/theorems.html</B> is now
<A HREF="http://us.metamath.org/mpegif/mmtheorems.html">mpegif/mmtheorems.html</A>
<LI><B>mmexplorer1/definitions.html</B> is now
<A HREF="http://us.metamath.org/mpegif/mmdefinitions.html">mpegif/mmdefinitions.html</A>
<LI><B>auql/mmauql.html</B> is now
<A HREF="http://us.metamath.org/qlegif/mmql.html">qlegif/mmql.html</A>
<LI><B>auql/mmexplorer.html</B> is now
<A HREF="http://us.metamath.org/qlegif/mmql.html">qlegif/mmql.html</A>
<LI><B>augl/mmexplorer.html</B> is now
<A HREF="http://us.metamath.org/qlegif/mmql.html">qlegif/mmql.html</A>
</UL>
<P>These are some recent directory changes (not all of
the old pages still exist, but most do):
<UL>
<LI><B>auql/</B><I>xxx</I><B>.html</B> have moved to
<B>qlegif/</B><I>xxx</I><B>.html</B></LI>
<LI><B>mmexplorer/</B><I>xxx</I><B>.html</B> have moved to
<B>mpegif/</B><I>xxx</I><B>.html</B></LI>
<LI><B>mmexplorer1/</B><I>xxx</I><B>.html</B> have moved to
<B>mpegif/</B><I>xxx</I><B>.html</B></LI>
</UL>
<P>The <B>FTP site downloads</B> are now available in the home page
<A HREF="http://us.metamath.org/index.html#downloads">downloads</A>
section.
<P>If you still cannot find the page, please go to
Metamath Site Selection page at
<A HREF="http://metamath.org/">http://metamath.org/</A>, or
contact Norman Megill at <FONT COLOR=BLUE>nm at alum dot mit dot edu</FONT>.
If you are coming from another site, you may wish to
notify the referrer of the page change.
<HR NOSHADE SIZE=1> <CENTER><I>This page was last updated on
25-Apr-2004.</I></CENTER>
<!-- <SCRIPT SRC="http://www.google-analytics.com/urchin.js" TYPE="text/javascript">
</SCRIPT>
<SCRIPT TYPE="text/javascript">
_uacct = "UA-1862729-1";
urchinTracker();
</SCRIPT>
-->
</BODY></HTML>