Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-01 08:43:39 -0700 (Tue, 01 Jun 2004)
Revision: 377
Log message:

      Added lm_uname, a hook to the uname syscall.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-01 09:49:41 -0700 (Tue, 01 Jun 2004)
Revision: 380
Log message:

      Minor updates for Win32.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-01 13:19:04 -0700 (Tue, 01 Jun 2004)
Revision: 381
Log message:

      Splitting the lm_threads files.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-01 19:34:10 -0700 (Tue, 01 Jun 2004)
Revision: 382
Log message:

      Updating the make build system to support THREADS_ENABLED.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-01 22:32:49 -0700 (Tue, 01 Jun 2004)
Revision: 383
Log message:

      "omake clean" should be a bit more clean.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-09 11:38:01 -0700 (Wed, 09 Jun 2004)
Revision: 384
Log message:

      This modifies the infrastructure for threads.  Here is the model:
      
          1. Each thread has a current state, and each state has a set
             of global variables.
      
          2. State variables must be locked before being used.
      
          3. State variables come in two types: shared and private.
             Each state has its own copy of the private variables.
      
      For example, each job in the shell has its own state, and its
      own copy of the Shell.info struct.  States are managed implicitly,
      so global variables look just like global variables.  Access is
      managed with the State.read/State.write routines.
      
      Here is an example of usage for a shared variable:
      
          let global_entry = State.shared_val "debug" (ref 0)
      
          let get () =
             State.read global_entry (fun x -> !x)
      
          let incr () =
             State.write global_entry (fun x -> x := !x + 1)
      
      For private variable, you have to supply a "fork" function that
      is used to copy the value.  Each thread/state will have its own copy
      of the variable.  The other functions remain the same.
      
          let global_entry = State.shared_val "debug" (ref 0) (fun x -> ref !x)
      
      All the State.* functions are wrappers that take a function argument.  The
      value is locked on entry into the function, and unlocked when the function exits.
      Exceptions are handled correctly.
      
      Don't use Mutex if you can help it!!!  The Mutex functions do not
      handle exceptions correctly.  Use the State module instead.
      
      NOTES:
      
         1. I removed the Java interface...  It was just getting to be too much
            of a hassle.  We can ressurect it if we ever want it again.
      
         2. This is just the infrastructure pass.  The global values used by the
            browser need to be updated to the new model.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-09 19:08:17 -0700 (Wed, 09 Jun 2004)
Revision: 385
Log message:

      Made "omake clean" cleaner.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-10 13:45:08 -0700 (Thu, 10 Jun 2004)
Revision: 386
Log message:

      This implements a version of SLOPPY_DEPENDENCIES.  Sloppy dependencies
      use a dummpy file .sloppy.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-11 09:33:41 -0700 (Fri, 11 Jun 2004)
Revision: 387
Log message:

      Synchronization fixes.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-12 17:39:56 -0700 (Sat, 12 Jun 2004)
Revision: 391
Log message:

      Fixed the ls problem I believe.
      Save session state.  This also saves the current directory.
      Every session has its own persistent history, etc.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-13 01:56:44 -0700 (Sun, 13 Jun 2004)
Revision: 392
Log message:

      - Added a "D" (LsDocumentation) flag and a corresponding browser interface
        menu entry to be able to control whether documentation is displayed or not.
      
      - The default view flags are now
        [LsFormal; LsParent; LsRules; LsRewrites; LsDocumentation]
      
      - Now when "u" (lsUnjustified) is removed from the view flags set, the default
        flags are restored (the former "hide everything" behavior did not make much
        sense IMO).
      
      - Removed the "Interface\nbegin\n...\nend" wrapper from the theory display.
        It only waisted 3 lines and 4 columns of screen space without contributing
        anything (and was making things especially confusing when ls options
        other than "all" were used).
      
      - In prl and HTML mode, made the display of the documentation closer to
        the TeX style and less source-like. The individial display forms for some
        pieces of documentation still need work, but overall it IMHO looks OK in prl
        and pretty good in HTML.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-15 21:10:07 -0700 (Tue, 15 Jun 2004)
Revision: 393
Log message:

      Made sure MetaPRL compiles with THREADS_ENABLED=false.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-16 00:53:10 -0700 (Wed, 16 Jun 2004)
Revision: 394
Log message:

      I thought I should commit before we get too out of date.
      This is a partial commit; I'll finish off the loose ends
      in the morning.
      
      This adds the /fs path for viewing the Unix filesystem.
      
      Notes on this commit:
         1. Removed the "view_*" functions in Shell_core.  These
            duplicated work, and were pretty pointless.
      
            However, in the browser, I see the following problem:
            the "refresh" function is not called correctly.  The symptom
            is that the display is in "prl" mode.  The solution, until
            I fix in the morning, is to call "refresh ()" explicitly.
      
         2. Use cd "/fs" to view the filesystem.  However, file editing
            with "cd" is not currently implemented; it is waiting on
            the recent discussion on "proposal for handling pwd()"
            on the onlynews@metaprl.org list.
      
         3. Shell identifiers now strings.  Sorry for this change, but
            it makes the implementation much easier.  The proper
            path is https://..../session/id1/frameset.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-16 15:59:05 -0700 (Wed, 16 Jun 2004)
Revision: 395
Log message:

      - Include -lssl/-lncurses/-lreadline only when the corresponding ENABLED
        variable is set to true.
      - access.html : the default session is now called "id1", not "1".
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-16 20:48:53 -0700 (Wed, 16 Jun 2004)
Revision: 396
Log message:

      Separate "shell" sessions from "browser" sessions.
      
      Bah, browser identifiers are back to integers...  Sorry about the
      change yet again, the proper URLs are /session/%d/...
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-18 11:02:13 -0700 (Fri, 18 Jun 2004)
Revision: 398
Log message:

      Re-use the HTTP socket on a restart.  The socket descriptor
      and challenge are saved in the environment.  So this means
      it won't work on Windows, where sockets do not have integer
      descriptors.  Have to think about how to do that, or else
      just disable the feature on Windows.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-19 22:09:03 -0700 (Sat, 19 Jun 2004)
Revision: 399
Log message:

      - The Lm_big_int.of_string had no support for non-decimal formats (0xN, 0bN,
        etc) and no sanity checking (for example, "0x" was interpreted as 72!). I
        made Lm_big_int.of_string to act the same way as Pervasives.int_of_string.
      
      - I changed the way long arrows are translated to HTML in an attept to make
        then actually be long. Please verify under IE and other browsers!
      
      - The extract term (for primiteve rules) needs to be in a slot.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-20 08:54:03 -0700 (Sun, 20 Jun 2004)
Revision: 400
Log message:

      Fixed Javascript string escapes.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-20 17:26:43 -0700 (Sun, 20 Jun 2004)
Revision: 401
Log message:

      Made editing much more robust, so that you don't lost work
      on a restart.
      

Changes by: ( at unknown.email)
Date: 2004-06-20 23:07:24 -0700 (Sun, 20 Jun 2004)
Revision: 404
Log message:

      This commit was manufactured by cvs2svn to create branch
      'thread_select'.

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-23 17:11:10 -0700 (Wed, 23 Jun 2004)
Revision: 406
Log message:

      Compiles under Win32 again.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-24 15:33:46 -0700 (Thu, 24 Jun 2004)
Revision: 407
Log message:

      Disable SSL if SSL_ENABLED is not set.  This is a first pass,
      and MetaPRL works without SSL on Win32.  Problem: caching
      is really aggressive on localhost, and we never get updates
      expect by pressing refresh.
      

Changes by: ( at unknown.email)
Date: 2004-06-24 15:33:46 -0700 (Thu, 24 Jun 2004)
Revision: 408
Log message:

      This commit was manufactured by cvs2svn to create branch
      'nasslli_branch'.

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-24 20:22:59 -0700 (Thu, 24 Jun 2004)
Revision: 409
Log message:

      Removing the make build system. Now the only way to build MetaPRL
      is to use omake!