Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-10-28 08:28:01 -0700 (Sat, 28 Oct 2006)
Revision: 9641
Log message:

      MetaPRL is compatible with OCaml 3.09.3
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-10-28 10:47:14 -0700 (Sat, 28 Oct 2006)
Revision: 9643
Log message:

      Made MetaPRL compile with the latest 0.9.8 OMake.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-10-30 21:33:38 -0800 (Mon, 30 Oct 2006)
Revision: 9652
Log message:

      Added iforms - diamond, iff (untested)
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-10-30 21:41:14 -0800 (Mon, 30 Oct 2006)
Revision: 9653
Log message:

      Fixing a typo
      

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.