From: Ben Pfaff Date: Sat, 5 Mar 2005 07:14:52 +0000 (+0000) Subject: Fix menu. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=64e9bcdf25636d647d18f6a584aa5f87e212f0da;p=pintos-anon Fix menu. --- diff --git a/doc/userprog.texi b/doc/userprog.texi index 9ca19a5..0324a58 100644 --- a/doc/userprog.texi +++ b/doc/userprog.texi @@ -38,7 +38,7 @@ working with, you should probably undo the test cases from project 1. * Using the File System:: * How User Programs Work:: * Virtual Memory Layout:: -* Global Requirements:: +* Grading Requirements:: * Problem 2-1 Argument Passing:: * Problem 2-2 System Calls:: * User Programs FAQ::