Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 1999-06-25 23:26:06 -0700 (Fri, 25 Jun 1999) Revision: 2762 Log message:
There is no need for any tmp.mli