projects
/
pintos-anon
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
random: Fix behavior of kernel option "-rs".
[pintos-anon]
/
doc
/ Makefile
2018-03-28
John Ousterhout
Fix problems compiling documentation
commit
|
commitdiff
2016-04-26
Ben Pfaff
doc: Use texi2pdf instead of pdftex.
commit
|
commitdiff
2015-12-18
John Ousterhout
Make docs compile again
commit
|
commitdiff
2007-11-17
Godmar Back
- add localsettings.texi which contains Stanford-local...
commit
|
commitdiff
2007-05-18
Ben Pfaff
Clean some more files.
commit
|
commitdiff
2006-06-01
Ben Pfaff
Add installation chapter to manual. Remove now-redunda...
commit
|
commitdiff
2006-04-20
Ben Pfaff
Major revisions to documentation.
commit
|
commitdiff
2005-12-20
Ben Pfaff
Add plaintext target.
commit
|
commitdiff
2005-06-21
Ben Pfaff
texi2html doesn't support @verbatiminclude, so kluge it.
commit
|
commitdiff
2005-06-19
Ben Pfaff
Install templates.
commit
|
commitdiff
2005-06-19
Ben Pfaff
Get rid of .png rules that are no longer used.
commit
|
commitdiff
2005-06-19
Ben Pfaff
Make tests public. Rewrite most tests. Add tests.
commit
|
commitdiff
2004-12-15
Ben Pfaff
Get rid of install target: not needed anymore.
commit
|
commitdiff
2004-10-12
Ben Pfaff
Add `install' target.
commit
|
commitdiff
2004-09-29
Ben Pfaff
Update docs.
commit
|
commitdiff
2004-09-28
Ben Pfaff
Update docs.
commit
|
commitdiff
2004-09-27
Ben Pfaff
Update docs.
commit
|
commitdiff
2004-09-26
Ben Pfaff
Fix texi2html options.
commit
|
commitdiff
2004-09-26
Ben Pfaff
Update docs.
commit
|
commitdiff
2004-09-26
Ben Pfaff
Update docs.
commit
|
commitdiff
2004-09-15
Ben Pfaff
Update docs.
commit
|
commitdiff
2004-09-15
Ben Pfaff
Update docs.
commit
|
commitdiff
2004-09-15
Ben Pfaff
Work on intro.
commit
|
commitdiff
2004-09-12
Ben Pfaff
Describe multi-level feedback queue scheduler.
commit
|
commitdiff
2004-09-12
Ben Pfaff
Work on projects.
commit
|
commitdiff