1 \input texinfo @c -*- texinfo -*-
3 @setfilename pintos.info
4 @settitle Pintos Projects
48 @node Top, Introduction, (dir), (dir)
54 * Project 1--Threads::
55 * Project 2--User Programs::
56 * Project 3--Virtual Memory::
57 * Project 4--File Systems::
61 * Project Documentation::
71 @include userprog.texi
74 @include reference.texi
76 @include standards.texi
80 @include installation.texi
81 @include bibliography.texi