X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvm.texi;h=8ea6ee46b8c37b6897df3ddd365ed9428c731d1e;hb=269b497e5a50effc8230ac3e91cf6d8b862659a0;hp=544701a5b90844f24588e3d5d7dadc81d0244ec9;hpb=e973f5f63b36bdd9909b23da2a61c8868cf6c163;p=pintos-anon

diff --git a/doc/vm.texi b/doc/vm.texi
index 544701a..8ea6ee4 100644
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -580,9 +580,15 @@ Here's a summary of our reference solution, produced by the
 @command{diffstat} program.  The final row gives total lines inserted
 and deleted; a changed line counts as both an insertion and a deletion.
 
-This summary is relative to the Pintos base code, but we started from
-the reference solution to project 2.  @xref{Project 2 FAQ}, for the
-summary of project 2.
+This summary is relative to the Pintos base code, but the reference
+solution for project 3 starts from the reference solution to project 2.
+@xref{Project 2 FAQ}, for the summary of project 2.
+
+The reference solution represents just one possible solution.  Many
+other solutions are also possible and many of those differ greatly from
+the reference solution.  Some excellent solutions may not modify all the
+files modified by the reference solution, and some may modify files not
+modified by the reference solution.
 
 @verbatim
  Makefile.build       |    4