summaryrefslogtreecommitdiff
path: root/Mig/WebHome.mdwn
diff options
context:
space:
mode:
Diffstat (limited to 'Mig/WebHome.mdwn')
-rw-r--r--Mig/WebHome.mdwn30
1 files changed, 9 insertions, 21 deletions
diff --git a/Mig/WebHome.mdwn b/Mig/WebHome.mdwn
index 0d1d7368..7334d4d9 100644
--- a/Mig/WebHome.mdwn
+++ b/Mig/WebHome.mdwn
@@ -4,24 +4,12 @@ Sporadic efforts by numerous individuals have been made to keep the information
The [[MachInterfaceGenerator]] (MIG) is a program which generates inter-process communication (IPC) code. Specifically Mig generates remote procedure call (RPC) code for communication between client and server processes running on a Mach microkernel.
-<form action="%SCRIPTURLPATH%/search%SCRIPTSUFFIX%/%WEB%/">
- <table>
- <tr>
- <td valign="top" width="65%">
- <p> Mach servers run as separate tasks and communicate with RPC messages. The RPC interface is language independant and somewhat complex. MIG mitigates this complexity. </p>
- <p> GNU MIG is fully compatible with OSF MIG. The <a href="http://www.gnu.org/software/hurd/mig.html" target="_top">official Mig</a> site is a page hosted on the official Hurd site. [[MigDocumentation]] is available. Mig also has it's own CVS module within the main Hurd CVS site. </p>
- <p>[[BuildingMIG]]</p>
- <p>
- </p>
- <dl>
- <dt>[[WebDiscuss]]</dt>
- <dd> Discussion about how to make this part of the site better and more informative. </dd>
- </dl>
- <p>
- </p>
- <p>
- </p>
- </td>
- </tr>
- </table>
-</form>
+<p> Mach servers run as separate tasks and communicate with RPC messages. The RPC interface is language independant and somewhat complex. MIG mitigates this complexity. </p>
+<p> GNU MIG is fully compatible with OSF MIG. The <a href="http://www.gnu.org/software/hurd/mig.html" target="_top">official Mig</a> site is a page hosted on the official Hurd site. [[MigDocumentation]] is available. Mig also has it's own CVS module within the main Hurd CVS site. </p>
+<p>[[BuildingMIG]]</p>
+<p>
+</p>
+<dl>
+<dt>[[WebDiscuss]]</dt>
+<dd> Discussion about how to make this part of the site better and more informative. </dd>
+</dl>