fix for typos in hurd-l4/doc/introduction.tex

[Martin Schaffner]

--- introduction.tex    Thu Sep 11 02:48:57 2003
+++ introduction.tex.orig       Thu Sep 11 02:49:37 2003
@@ -23,7 +23,7 @@
 able to compete with traditional systems, but outperform them.

 In order to achieve this goal, a multi-server architecture has been
-embraced.  The initial prototype of the Hurd runs on a derivative of
+embraced.  The initial prototype on the Hurd runs on a derivative of
 the Mach microkernel developed at Carnegie Mellon University in the
 1980s and early 1990s.  With this implementation, an authentication
 scheme similar to Kerberos was explored which separates the user
@@ -60,7 +60,7 @@
 data and the type of expected usage patterns of the data types
 contained therein.  This scheme should permit an application to make
 far more intelligent decisions than are possible with the superficial
-knowledge that a monolithic kernel has.
+knowledge than a monolithic kernel has.

 The L4 microkernel makes implementing this philosophy possible: it
 aims to absolutely minimize the amount of policy in the microkernel