Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-09-21 07:22:55 -0700 (Fri, 21 Sep 2001)
Revision: 3396
Log message:

      - Added proper escaping of <, > and & in html Rformat output
      - Goal and Subgoal window updates are now done in separate threads
      - Updated some homepages URLs in mp-people.html
      

Changes  Path
+2 -2 metaprl/doc/htmlman/mp-people.html
+8 -8 metaprl/editor/java/NuprlDebug.java
+2 -6 metaprl/editor/java/NuprlTerm.java
+1 -1 metaprl/editor/ml/display_term.ml
+0 -2 metaprl/editor/ml/shell_http.ml
+6 -3 metaprl/refiner/reflib/rformat.ml
+5 -4 metaprl/theories/tactic/base_dform.ml
+82 -92 metaprl/theories/tactic/nuprl_font.ml
+0 -3 metaprl/theories/tactic/nuprl_font.mli