hurd-l4/doc introduction.tex

[Marcus Brinkmann]

CVSROOT:        /cvsroot/hurd
Module name:    hurd-l4
Branch:         
Changes by:     Marcus Brinkmann <address@hidden>       03/09/10 22:53:28

Modified files:
        doc            : introduction.tex 

Log message:
        Fix typos.

CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/hurd/hurd-l4/doc/introduction.tex.diff?tr1=1.2&tr2=1.3&r1=text&r2=text

Patches:
Index: hurd-l4/doc/introduction.tex
diff -u hurd-l4/doc/introduction.tex:1.2 hurd-l4/doc/introduction.tex:1.3
--- hurd-l4/doc/introduction.tex:1.2    Sun Sep  7 20:46:01 2003
+++ hurd-l4/doc/introduction.tex        Wed Sep 10 22:53:28 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 on the Hurd runs on a derivative of
+embraced.  The initial prototype of 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 than a monolithic kernel has.
+knowledge that a monolithic kernel has.
 
 The L4 microkernel makes implementing this philosophy possible: it
 aims to absolutely minimize the amount of policy in the microkernel