Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-10 15:59:48 -0800 (Mon, 10 Nov 2003)
Revision: 5084
Log message:
mLast_util.ml now compiles under 3.07. Unfortunately, that is one
of the easier files, and I still have couple of more compilcated ones
to update.