Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-01-10 18:22:30 -0800 (Fri, 10 Jan 2003)
Revision: 3988
Log message:
Killed onVarT - for two reasons:
- we never use it
- variable names are supposed to be allowed to fluctuate. Intentionally
tying a tactic to a variable name is IMO silly.