Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-02-23 21:46:12 -0800 (Sun, 23 Feb 2003)
Revision: 4117
Log message:

      Oops, left in a debugging comment.
      Also, I added minimal support for boldface in terminal windows.
      

Changes	Path
+0 -1	metaprl/refiner/reflib/dform.ml