Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-14 21:08:56 -0700 (Wed, 14 Apr 2004)
Revision: 5651
Log message:

      Added layout control based on browser window size (as Aleksey
      suggested).  This info is not propagated to MetaPRL yet.
      
      Added http service for raw files, with proper handling of
      Last-Modified.
      

Changes	Path
+38 -0	metaprl/mllib/http_simple.ml
+1 -0	metaprl/mllib/http_simple.mli
+5 -1	metaprl/support/shell/Files
+3 -2	metaprl/support/shell/browser_copy.mli
+39 -24	metaprl/support/shell/browser_copy.mll
Added	metaprl/support/shell/inputs/cookie.js
Properties	metaprl/support/shell/inputs/cookie.js
Added	metaprl/support/shell/inputs/layout.js
Properties	metaprl/support/shell/inputs/layout.js
+7 -279	metaprl/support/shell/inputs/login.html
Added	metaprl/support/shell/inputs/md5.js
Properties	metaprl/support/shell/inputs/md5.js
+8 -27	metaprl/support/shell/inputs/pagelong.html
+7 -26	metaprl/support/shell/inputs/pageshort.html
Added	metaprl/support/shell/inputs/validate.js
Properties	metaprl/support/shell/inputs/validate.js
+18 -9	metaprl/support/shell/shell_browser.ml