Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-09 03:49:54 -0700 (Wed, 09 Jul 2003)
Revision: 4727
Log message:

      Tests needed to be translated to Lm_symbol as well.
      

Changes	Path
+5 -17	metaprl/editor/ml/tests/prop-pigeon.ml