Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-02-20 18:03:47 -0800 (Thu, 20 Feb 2003)
Revision: 4103
Log message:
We raise an exception if term quotation is used in terms, like
sequent [m] { 'H >- <<...>> }
Added .cvsignore to filter/phobos, and changed the Makefile
to clear out all generated files.
Added pairs to m_ast.pho and m_ir.pho, removed list.cph, and
changed the test program sequent to use the :ext quotation.