Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-11-11 13:00:33 -0800 (Thu, 11 Nov 1999)
Revision: 2847
Log message:
- Edited the autoT section a little
- Added an empty section on dT
- Added some problems with missing or outdated documentation to BUGS
- Added references to tactic descriptions to User Guide.