Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-10-26 22:41:35 -0700 (Tue, 26 Oct 1999)
Revision: 2830
Log message:
More fixes
I have finished proof-reading the introduction and the user's guide and
I still have tutorial and system description left.