projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Work on intro.
[pintos-anon]
/
doc
/
projects.texi
diff --git
a/doc/projects.texi
b/doc/projects.texi
index bc5cd13ef8d80c42f5903eb28bf89ef2cc6f395e..4c1465ff6711f431688d94cb0f7d83e69897c353 100644
(file)
--- a/
doc/projects.texi
+++ b/
doc/projects.texi
@@
-1,14
+1,18
@@
-@node Top,
Project 1--Threads
, (dir), (dir)
+@node Top,
Introduction
, (dir), (dir)
@top Pintos Projects
@menu
@top Pintos Projects
@menu
+* Introduction::
* Project 1--Threads::
* Project 2--User Programs::
* Project 3--Virtual Memory::
* Project 4--File Systems::
@end menu
* Project 1--Threads::
* Project 2--User Programs::
* Project 3--Virtual Memory::
* Project 4--File Systems::
@end menu
+@include intro.texi
@include threads.texi
@include userprog.texi
@include vm.texi
@include filesys.texi
@include threads.texi
@include userprog.texi
@include vm.texi
@include filesys.texi
+@c @include devel.texi
+@c @include standards.texi