Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-06-01 00:47:49 -0700 (Sun, 01 Jun 2003)
Revision: 4635
Log message:
- Bug clean-up of the Refine module: removed a lot of stuff from the
interface - internal stuff that "outside world" has no business having access to.
- Cleaned up capitalized/uncapitalized mess with module names. We has some
places store and use capitalized module names and some would have uncapitalized
ones, and it was becoming increazingly hard to keep things consistent. I switched it
to using uncapitalized names _everywhere_, except for opnames and a small number of
UI features (error messages, "extends" directives and mptop's Module.name
fully-qualified variables).