Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-02-21 20:09:08 -0800 (Mon, 21 Feb 2000)
Revision: 2903
Log message:

      - The strict rewriter mode allowed me to replace the ml_rule thin with an ordinary
      rule. I believe this should make thinT faster, but for some reason it does not happen.
      
      - Disabled the http server for now
      
      - Mp_big_int errors should be Invalid_arguments, not failures
      

Changes	Path
+2 -0	metaprl/editor/ml/shell_http.ml
+2 -2	metaprl/mllib/mp_big_int.ml
+4 -14	metaprl/theories/itt/itt_struct.ml