Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-02-14 22:59:08 -0800 (Tue, 14 Feb 2006)
Revision: 8705
Log message:
- Filter_reflection: module names should not be capitalized.
- OMakefile_theories: rules for generating .p4 and .p4i for the reflected
theories (these are pretty-printed versions of the generated OCaml code;
useful for debugging the filter).
- OMakefile_theories: in rev 8704 I've ordered the new dependencies for the
reflect_% files incorrectly (the theory .SUBDIRS did not have them in
scope); fixed.
- Filter_prog: generate the show_loading debugging call at the beginning and
end of every theory.
- A _huge_ number of theory files: removed the manual "show_loading" calls as
they will now be automatically generated.