summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Mach/WebHome.mdwn10
1 files changed, 6 insertions, 4 deletions
diff --git a/Mach/WebHome.mdwn b/Mach/WebHome.mdwn
index 153534de..aebc2efc 100644
--- a/Mach/WebHome.mdwn
+++ b/Mach/WebHome.mdwn
@@ -1,7 +1,9 @@
+## <a name="GNU_Mach"> </a> GNU Mach
+
<form action="%SCRIPTURLPATH%/search%SCRIPTSUFFIX%/%WEB%/">
<table>
<tr>
- <td valign="top" width="65%"> Since this Mach web (section) is new to the <span style="background:"><font color="">Hurd Wiki</font></span><a href="http://LOCATIONHurd/WebHome">?</a> and we are still migrating data to it, please look at the rest of the wiki as well. <p> This web deals exclusively with the Mach micro kernel that provides the base for the Hurd servers which makes out the GNU operating system. </p>
+ <td valign="top" width="65%"> Since this web (section) is new to the <span style="background:"><font color="">Hurd Wiki</font></span><a href="http://LOCATIONHurd/WebHome">?</a> and we are still migrating data to it, please look at the rest of the wiki as well. <p> This web deals with the Mach micro kernel that provides the base for the Hurd servers which makes out the GNU operating system. It is also the logical place for any other future microkernel, like <a href="http://www.l4ka.org" target="_top">L4</a> for instance. </p>
<p> Feel free to add relevant content. </p>
<p><strong><em>Table of Contents:</em></strong></p>
<p>
@@ -64,11 +66,11 @@
</p>
<ul>
<li><span style="background:"><font color="">Web Index</font></span><a href="http://LOCATION/WebIndex">?</a> - Alphabetical index </li>
- <li><span style="background:"><font color="">Web Notify</font></span><a href="http://LOCATION/WebNotify">?</a> - Email notification of changes </li>
- <li><span style="background:"><font color="">Web Changes</font></span><a href="http://LOCATION/WebChanges">?</a> - Change log of topics </li>
+ <li><span style="background:"><font color="">Web Notify</font></span><a href="http://LOCATION/WebNotify">?</a> - Email notification </li>
+ <li><span style="background:"><font color="">Web Changes</font></span><a href="http://LOCATION/WebChanges">?</a> - Web <nop>ChangeLog </nop></li>
<li><span style="background:"><font color="">Web Topic List</font></span><a href="http://LOCATION/WebTopicList">?</a> - Index by Topic </li>
<li><span style="background:"><font color="">Web Statistics</font></span><a href="http://LOCATION/WebStatistics">?</a> - Statistical trivia </li>
- <li><span style="background:"><font color="">Web Preferences</font></span><a href="http://LOCATION/WebPreferences">?</a> - Administrative options </li>
+ <li><span style="background:"><font color="">Web Preferences</font></span><a href="http://LOCATION/WebPreferences">?</a> - Administrative settings </li>
</ul>
<p>
</p>