Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2001-01-31 17:18:20 -0800 (Wed, 31 Jan 2001)
Revision: 3125
Log message:
1. The untilFailT tactical is implemented.
2. Now there are the untilFailC, whileProgressC and repeatC conversionals
hat work as corresponding tacticals.
3. The failC a failWithC conversions now work as failT and failWithT
4. repeatForT and repeatForC now raise an exception when applied to
a negative argument.