ViewVC logotype

Revision 9655

Jump to revision: Previous Next
Author: nogin
Date: Tue Oct 31 18:16:04 2006 UTC (14 years, 7 months ago)
Changed paths: 5
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

  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.

Changed paths

Path Details
Directorymetaprl/support/display/mpsymbols.ml modified , text changed
Directorymetaprl/support/display/mpsymbols.mli modified , text changed
Directorymetaprl/support/display/summary.ml modified , text changed
Directorymetaprl/support/shell/shell_browser.ml modified , text changed
Directorymetaprl/theories/s4lp/s4_logic.ml modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.26