Patch for MrSpidey with DrScheme v53
If your browser asks you to do so, save the file with the suggested name, spidey-patch.plt.
Your browser may instead show a page of text containing the patch. In that case, choose File|Save As... in your browser menu, and save the file with the suggested name spidey-patch.plt.
Once you've downloaded the patch, drag the file onto the PLT Setup program. More specific directions for running Setup are at Running Setup.
| PLT / scheme@cs.rice.edu |