Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-10-31 10:16:04 -0800 (Tue, 31 Oct 2006)
Revision: 9655
Log message:

      - In browser mode, use "/foo" relative URLs instead of the
        "https://host:port/foo" ones whenever possible. This is needed in order to
        make it easier to access the MetaPRL session indirectly (e.g. via an ssh
        tunnel).
      
        Only three places will now use the FQ URL:
         - startup message 
         - autologin file
         - form passed to the external editor
      
      - A few display form fixes and improvements.
      
      

Changes  Path
+7 -1 metaprl/support/display/mpsymbols.ml
+2 -0 metaprl/support/display/mpsymbols.mli
+6 -6 metaprl/support/display/summary.ml
+2 -10 metaprl/support/shell/shell_browser.ml
+1 -1 metaprl/theories/s4lp/s4_logic.ml