Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-01 19:20:33 -0800 (Wed, 01 Dec 2004)
Revision: 660
Log message:

      A new incarnation of the new_parser branch (off of the current trunk).
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-02 01:36:46 -0800 (Thu, 02 Dec 2004)
Revision: 661
Log message:

      - (bug 282) Protect the "gensym counter" with a mutex lock.
      - In lm_thread, use "module X = Y" instead of inlining "Y".
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-02 17:38:15 -0800 (Thu, 02 Dec 2004)
Revision: 664
Log message:

      Merging Jason's mmc_parser branch.
      
      This adds a new Libmojave/rewriter-based parser similar to Phobos.
      The advantage of this new parser (compared to Phobos) is that it is
      much better integrated to the rest of the filter. In particular:
       - New-style grammar specifications reside in .mli and .ml, and not
         in a separate .pho file (note - .mli grammars are inherited; .ml ones
         are local)
       - The opname management is reused (no need to re-declare opnames in the
         grammar specifications).
       - Grammars are saved in the .cmoz/.cmiz instead of a separate file.
       - Grammars are properly scoped (and toploop knows about it).
       - Grammars are inherited along the module inheritance hierarchy
         and can be extended by the children.
       - Instead of a single "<:ext<" grammar, arbitrarily-named grammars may be
         defined.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-03 19:37:52 -0800 (Fri, 03 Dec 2004)
Revision: 669
Log message:

      (Bug 347) fixed an unused variable inefficiency.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-06 18:09:15 -0800 (Mon, 06 Dec 2004)
Revision: 670
Log message:

      (bug 181) Auto-generate the list of the include directories.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-07 19:41:40 -0800 (Tue, 07 Dec 2004)
Revision: 673
Log message:

      Fixed a few quoting issues with JS menus (including the ' symbol in command
      line history).
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-08 23:24:13 -0800 (Wed, 08 Dec 2004)
Revision: 675
Log message:

      Browser interface fixes:
      - Menu labels need to be HTML escaped.
      - "slot" mechanism should use the "src" display forms form the local theory,
        not for the "top" bookmark.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-12-12 16:02:12 -0800 (Sun, 12 Dec 2004)
Revision: 684
Log message:

      Omake now uses the built-in versions of the following commands:
         cp, mv, mkdir, rm, rmdir, chmod
      
      I've tested on Linux, next I'll test Win32.
      Please let me know if there are problems.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-12-13 12:29:16 -0800 (Mon, 13 Dec 2004)
Revision: 687
Log message:

      This fixes the problem with trailing whitespace in definitions (bug #356).
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-12-16 08:08:07 -0800 (Thu, 16 Dec 2004)
Revision: 702
Log message:

      This adds support for commands like (cd foo; ...) as mentioned in bug #333.
      The solution here is to thread the venv through the shell commands as
      they are evaluated, and not fork subjobs unless necessary.
      

Changes by: yegor (yegor at unknown.email)
Date: 2004-12-28 12:05:52 -0800 (Tue, 28 Dec 2004)
Revision: 719
Log message:

      *.lnk should be ignored (used under Cygwin)
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-12-31 14:09:13 -0800 (Fri, 31 Dec 2004)
Revision: 725
Log message:

      Trying to make libmojave MetaPRL-independent, so we can use it for CS134b.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-12-31 14:35:53 -0800 (Fri, 31 Dec 2004)
Revision: 726
Log message:

      Renamed the .mlz files in libmojave to .ml so that we
      can use libmojave for CS134.
      
      This shouldn't cause any problems, but let me know if
      I missed something.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-12-31 19:40:28 -0800 (Fri, 31 Dec 2004)
Revision: 729
Log message:

      OCamlLibrary should be defined even if LMINSTALL is undefined.