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

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