In this file I'll try to record the differences in the various patchlevels
of Otter 3.0.

--------------------------------------------------------

Otter 2.99 released November 25, 1993.

--------------------------------------------------------

Otter 3.0.0 released January 24, 1994.

   Many small changes.

--------------------------------------------------------
