diff options
Diffstat (limited to 'history.html')
| -rw-r--r-- | history.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/history.html b/history.html index 27523a39..9d2982fb 100644 --- a/history.html +++ b/history.html @@ -29,14 +29,14 @@ </TD> <TD ALIGN="LEFT" VALIGN="TOP"> <HR> -<H4><A NAME="contents">Table of Contents</A></H4> +<H3><A NAME="contents">Table of Contents</A></H3> <UL> <LI><A HREF="#start" NAME="TOCstart">How it started</A> <LI><A HREF="#announce" NAME="TOCannounce">Announcements</A> </UL> <HR> -<H4><A HREF="#TOCstart" NAME="start">How it started</A></H4> +<H3><A HREF="#TOCstart" NAME="start">How it started</A></H3> <P> Richard Stallman (RMS) started GNU in 1983, as a project to create a complete free operating system. In the text of the GNU Manifesto, he @@ -87,7 +87,7 @@ HREF="hurd-and-linux.html">The Hurd and Linux</A>, where he mentions that the FSF started developing the Hurd in 1990. As of [Gnusletter, Nov. 1991], the Hurd (running on Mach) is GNU's official kernel. -<H4><A HREF="#TOCannounce" NAME="announce">Announcements</A></H4> +<H3><A HREF="#TOCannounce" NAME="announce">Announcements</A></H3> <DL> <DT> <A HREF="hurd-flash15">Release 0.2 announcement (complete GNU system)</A></DT> |