Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-07 22:34:20 -0700 (Wed, 07 Jul 2004)
Revision: 6040
Log message:
A few display form updates.
| Changes | Path |
| +2 -2 | metaprl/support/display/OMakefile |
| +4 -0 | metaprl/support/display/summary.ml |
| +2 -0 | metaprl/support/display/summary.mli |