Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-17 14:45:46 -0800 (Tue, 17 Jan 2006)
Revision: 8495
Log message:

      Further changes (this is all I plan to do for the moment).
      
         - All annotation processors require two optional arguments
      
             ?select: term list    
                - the rule will only apply if a specific
                  option is given (only the opnames of the term matter)
      
             ?labels: term list
                - the rule applies by default, but can be disabled
                  by the withExcludeOptionT option.
      
      As before, the "select" resource can be used to specify options
      on a theory-wide basis.