X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fpintos.texi;h=02db01633e19bbd8bbff707b5f376e67d39ec05b;hb=3bccbf4661eb75a871b8c3a2d91fcb033ad6f587;hp=b8e96a0511c535b27ee404c94ef292fabdfad678;hpb=9f6a072593f75a3ef8337156940d7cf1c090966d;p=pintos-anon

diff --git a/doc/pintos.texi b/doc/pintos.texi
index b8e96a0..02db016 100644
--- a/doc/pintos.texi
+++ b/doc/pintos.texi
@@ -39,7 +39,6 @@
 @titlepage
 @title Pintos
 @author by Ben Pfaff
-@author based on past contributions of CS 140 TAs
 @end titlepage
 
 @contents
@@ -57,7 +56,7 @@
 * Project 3--Virtual Memory::   
 * Project 4--File Systems::     
 * References::
-* Multilevel Feedback Scheduling::  
+* 4.4BSD Scheduler::  
 * Coding Standards::            
 * Project Documentation::       
 * Debugging Tools::             
@@ -71,7 +70,7 @@
 @include vm.texi
 @include filesys.texi
 @include references.texi
-@include mlfqs.texi
+@include 44bsd.texi
 @include standards.texi
 @include doc.texi
 @include debug.texi