projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c203f0f) | patch
Minor documentation updates
authorJohn Ousterhout <ouster@cs.stanford.edu>
Thu, 17 Dec 2015 17:28:35 +0000 (09:28 -0800)
committerJohn Ousterhout <ouster@cs.stanford.edu>
Thu, 17 Dec 2015 17:28:35 +0000 (09:28 -0800)
commit4d8de596d93dc34ea1ebbf08b6684fcdf98a5922
tree1229ba4015ebfbd246da1acacd6b4bf526fd7a91tree | snapshot
parentc203f0f1d43526aaa9be904f851a9aa185809dffcommit | diff
Minor documentation updates

Fixed typos and obsolete info, removed Stanford dependencies.
doc/filesys.texi diff | blob | history
doc/intro.texi diff | blob | history
doc/localsettings.texi diff | blob | history
doc/threads.texi diff | blob | history
doc/userprog.texi diff | blob | history
doc/vm.texi diff | blob | history
Pintos public repository