Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-01 01:44:31 -0700 (Fri, 01 Jul 2005)
Revision: 7524
Log message:
More comment formatting. Now every toplevel "doc" item has an _implicit_
@begin[doc]...@end[doc] wrapper around it (except for "doc docoff") and
explicit @begin[doc]...@end[doc] and @doc{...} should no longer be used.