Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-10-03 10:38:53 -0700 (Sun, 03 Oct 2004)
Revision: 6212
Log message:
Added <:compile< ... >> for the judgment form.
Let's try to get this branch merged farily soon, so that I can
start working on the backend.