Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-21 22:52:30 -0700 (Tue, 21 Oct 2003)
Revision: 5024
Log message:

      This fixes bug 87: now MetaPRL will use Lm_terminfo instead of using
      hardcoded strings for TERM=xterm only.
      

Changes	Path
+10 -26	metaprl/refiner/reflib/dform.ml
+2 -2	metaprl/support/display/nuprl_font.ml
+4 -6	metaprl/support/shell/shell_http.ml