Use binutils 2.15, not 2.16, because it doesn't have a bug in the
[pintos-anon] / doc / texi2html
2005-06-19 Ben PfaffMake tests public. Rewrite most tests. Add tests.
2004-10-14 Ben PfaffImplement verbatim as equivalent to example.
2004-09-26 Ben PfaffUpdate docs.