Suggest 17.14 instead of 21.10 because the extra precision may be
[pintos-anon] / Makefile
2005-06-19 Ben PfaffMake tests public. Rewrite most tests. Add tests.
2005-01-09 Ben PfaffAdd self-test.
2005-01-02 Ben PfaffAdd makefiles for cleaning grades, top level.