Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-04 20:14:47 -0800 (Fri, 04 Mar 2005)
Revision: 6842
Log message:
Added the x86 conventions.
Note, this includes a commit to MetaPRL to handle quotation patterns.