From f13f1ae0528e0a75e775101f09295895a7cd1198 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Tue, 28 Jun 2005 20:09:56 +0000 Subject: [PATCH] Reword paragraph. --- doc/intro.texi | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/intro.texi b/doc/intro.texi index 97037eb..f22ba76 100644 --- a/doc/intro.texi +++ b/doc/intro.texi @@ -478,9 +478,9 @@ Rosenblum. Pintos originated as a replacement for Nachos with a similar design. Since then Pintos has greatly diverged from the Nachos design. Pintos differs from Nachos in two important ways. First, Pintos runs on real -or simulated 80@var{x}86 hardware, whereas Nachos runs as a process on a -host operating system. Second, like most real-world operating systems, -Pintos is written in C, whereas Nachos is written in C++. +or simulated 80@var{x}86 hardware, but Nachos runs as a process on a +host operating system. Second, Pintos is written in C like most +real-world operating systems, but Nachos is written in C++. Why the name ``Pintos''? First, like nachos, pinto beans are a common Mexican food. Second, Pintos is small and a ``pint'' is a small amount. -- 2.30.2