Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-05-22 18:51:10 -0700 (Sat, 22 May 2004)
Revision: 5810
Log message:
Adding the Quote parameter to the list of the possible term paramaters.
I have changed the filter_cache_fun's opname handling to ignore the quotation
level when checking whether opname is declared (in other words, delcaring an
unquoted operator also implicitly declares all the quoted version of it).
Of course, this does not compile as nothing else was changed yet.