Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2003-04-22 15:35:58 -0700 (Tue, 22 Apr 2003) Revision: 4470 Log message:
Support files that have an .ml, but no .mli