X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fintro.texi;h=6601adccbb1c65536b3cda1d976bb52724823c6b;hb=3edcfedb8e62970f3293fa676b6691f8658c3c11;hp=6c49f748df5139deea4c396b9343827bcea4550f;hpb=d158a7cd545fa8dd35dba91935029465eedff0da;p=pintos-anon

diff --git a/doc/intro.texi b/doc/intro.texi
index 6c49f74..6601adc 100644
--- a/doc/intro.texi
+++ b/doc/intro.texi
@@ -499,8 +499,11 @@ FOR A PARTICULAR PURPOSE.
 @node Acknowledgements
 @section Acknowledgements
 
-Pintos and this documentation were written by Ben Pfaff
-@email{blp@@cs.stanford.edu}.
+The Pintos core and this documentation were originally written by Ben
+Pfaff @email{blp@@cs.stanford.edu}.
+
+Additional features were contributed by Anthony Romano
+@email{chz@@vt.edu}.
 
 The GDB macros supplied with Pintos were written by Godmar Back
 @email{gback@@cs.vt.edu}, and their documentation is adapted from his