Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-05-28 22:42:51 -0700 (Fri, 28 May 2004)
Revision: 5829
Log message:

      New SSL method to provide a "standard" socket interface,
      except certificates are required for some calls.
      
      Tested on RedHat 9.
         - Not tested on old Redhat mojave clients.
         - Not tested on win32 (that is next).
      

Changes	Path
+44 -49	metaprl/mllib/http_simple.ml
+1 -1	metaprl/mllib/http_simple.mli
Properties	metaprl/proxyedit
+14 -20	metaprl/proxyedit/proxyedit_main.ml
+1 -1	metaprl/support/shell/browser_copy.mli
+2 -1	metaprl/support/shell/browser_copy.mll
+11 -1	metaprl/support/shell/browser_resource.ml
+4 -0	metaprl/support/shell/browser_resource.mli
+40 -2	metaprl/support/shell/browser_state.ml
+1 -0	metaprl/support/shell/browser_state.mli
+1 -0	metaprl/support/shell/inputs/Files
Added	metaprl/support/shell/inputs/edit-done.html
Properties	metaprl/support/shell/inputs/edit-done.html
+1 -1	metaprl/support/shell/inputs/edit.html
+1 -1	metaprl/support/shell/shell.ml
+27 -20	metaprl/support/shell/shell_browser.ml
+4 -0	metaprl/support/shell/shell_util.ml
+1 -0	metaprl/support/shell/shell_util.mli