Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-10 09:55:11 -0700 (Thu, 10 Jun 2004)
Revision: 5874
Log message:
Declare the loc version of the resource_def.
Changes | Path |
+1 -0 | metaprl/support/display/summary.mli |