Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-03 18:51:55 -0700 (Sat, 03 May 2003)
Revision: 4552
Log message:

      - Updated the editor/ml/tests to use the new funT
      - A few more display forms to address Yegor's "make latex" problems.
      

Changes	Path
+92 -96	metaprl/editor/ml/tests/prop-pigeon.ml
+7 -0	metaprl/support/display/comment.ml