tuned;
authorwenzelm
Mon Feb 12 20:47:19 2001 +0100 (2001-02-12)
changeset 111025ceaa79c220d
parent 11101 014e7b5c77ba
child 11103 2a3cc8e1723a
tuned;
src/HOL/Unix/document/root.tex
     1.1 --- a/src/HOL/Unix/document/root.tex	Mon Feb 12 20:45:12 2001 +0100
     1.2 +++ b/src/HOL/Unix/document/root.tex	Mon Feb 12 20:47:19 2001 +0100
     1.3 @@ -189,7 +189,7 @@
     1.4  to clean up the situation.  In Unix \texttt{root} may perform any file-system
     1.5  operation without any access control limitations.\footnote{This is the typical
     1.6    Unix way of handling abnormal situations: while it is easy to run into odd
     1.7 -  cases due to simplistic policies it as well quite easy to get out.  There
     1.8 +  cases due to simplistic policies it is as well quite easy to get out.  There
     1.9    are other well-known systems that make it somewhat harder to get into a fix,
    1.10    but almost impossible to get out again!}
    1.11