404. That’s an error.

The requested URL /svn/trunk/textbook/chap11/tautology.lisp was not found on this server. That’s all we know.