Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-06-11 01:53:55 -0700 (Tue, 11 Jun 2002)
Revision: 3709
Log message:
1) Made sure all MetaPRL documentation passes the spellchecker.
Please, please, please:
- run "make clean; make MP_DEBUG=spell" more often
- if you want to @tt a term name, use @tt[...], not @tt{...}
Remember: {...} will be spellchecked, but [...] will not.
2) Other minor documentation updates.