Changes by: yegor (yegor at unknown.email)
Date: 2005-07-01 15:29:40 -0700 (Fri, 01 Jul 2005)
Revision: 1176
Log message:

      add_list added to the map interface
      

Changes by: ( at unknown.email)
Date: 2005-07-01 15:29:40 -0700 (Fri, 01 Jul 2005)
Revision: 1177
Log message:

      This commit was manufactured by cvs2svn to create branch 'S4-jprover'.

Changes by: ( at unknown.email)
Date: 2005-07-02 07:28:34 -0700 (Sat, 02 Jul 2005)
Revision: 1180
Log message:

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

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-03 19:33:38 -0700 (Sun, 03 Jul 2005)
Revision: 1183
Log message:

      Ok, this is the first pass of adding separate variable scopes.
      It compiles, but I'm sure it doesn't work yet.
      
      This is option 2:
         - Dynamic open/include/export are allowed.  Each operation
           performs a link step.
         - There are 4 kinds of variables:
             - Private (statically scoped).
             - Protected (current object, dynamically scoped),
               access is limited to sub-objects.
             - Public (current object, dynamically scoped),
               access is unrestricted.
             - File (file object, dynamically scoped).
               Each loaded file has an associated object.
      
      During the link step, each unlinked variable is assigned to
      the appropriate kind.
      
      The language is still functional of course.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-05 16:08:41 -0700 (Tue, 05 Jul 2005)
Revision: 1185
Log message:

      Killing an obsolete comment
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-05 18:50:54 -0700 (Tue, 05 Jul 2005)
Revision: 1188
Log message:

      **** WARNING: breaks binary compatibility! ****
      
      This changes the string comparison in String{Set,Table,MTable} and
      Lm_symbol.compare (which is also used in SymbolSet) to a slightly faster one
      (compare the string lengths _first_, only compare individual characters when
      strings have the same length). If you need the lexicographical order (which
      was used before), use LexString{Set,Table,MTable} instead.
      

Changes by: ( at unknown.email)
Date: 2005-07-06 14:11:54 -0700 (Wed, 06 Jul 2005)
Revision: 1192
Log message:

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

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-06 19:29:54 -0700 (Wed, 06 Jul 2005)
Revision: 1197
Log message:

      This is a huge commit that is mostly no-op:
      
      - Updated the standard preamble text to point to the correct location for the
        documentation and to avoid mentioning Nuprl.
      
      - Changed "Nuprl-Light" -> "MetaPRL" in a few places (amazingly, we still had
        those).
      
      - Split the Nuprl_font file into Mpfont and Mpsymbols.
      
      - Protected a few display forms in ITT with a "doc docoff".
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-06 19:34:06 -0700 (Wed, 06 Jul 2005)
Revision: 1198
Log message:

      More preamble changes
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-07 13:28:16 -0700 (Thu, 07 Jul 2005)
Revision: 1201
Log message:

      Use OCaml implementation of string comparison instead of the C one.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-10 19:56:34 -0700 (Sun, 10 Jul 2005)
Revision: 1207
Log message:

      I think I'm settling on this approach.
      
      Features:
         - All files have separate scopes.
         - Linking is dynamic, so you can change OMAKEPATH,
           or use computed values in open/include/extends/import,
           and everything should continue to work.
         - In default relaxed mode, you shouldn't see any change
           from what you do now.  However, it is possible to define
           a strict mode (I haven't done it yet).
         - public: fields can be modified.
           protected: fields are read-only when you open the object.
           private: fields local to an object, statically scoped.
      
      As usual, this commit is completely untested and needs to
      be cleaned up.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-13 17:24:27 -0700 (Wed, 13 Jul 2005)
Revision: 1214
Log message:

      Query the Win32 registry to figure out where omake is installed.
      The search tries the following in order:
         1. The registry
         2. The OMAKELIB environment variable
         3. The value hard-coded in omake_magic.ml
      
      Updated the installer config.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-13 17:25:58 -0700 (Wed, 13 Jul 2005)
Revision: 1215
Log message:

      Unix C function type should match the Win32 function.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-13 20:00:25 -0700 (Wed, 13 Jul 2005)
Revision: 1218
Log message:

      New boot procedure for Pervasives.  It starts off as the generic "this",
      then gets reparented once we know the file name.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-14 15:18:41 -0700 (Thu, 14 Jul 2005)
Revision: 1219
Log message:

      Added an ad-hoc profiling mechanism.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-14 17:30:24 -0700 (Thu, 14 Jul 2005)
Revision: 1220
Log message:

      When the same debug flag is created several times, make sure debug_description
      match.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-14 18:00:43 -0700 (Thu, 14 Jul 2005)
Revision: 1221
Log message:

      Added code for ad-hoc profiling of top-level tactics. The profiling is
      controlled by the "profile_tactics" debug variable.
      

Changes by: ( at unknown.email)
Date: 2005-07-14 18:00:43 -0700 (Thu, 14 Jul 2005)
Revision: 1222
Log message:

      This commit was manufactured by cvs2svn to create branch
      'jprover-rule-based-unif'.

Changes by: ( at unknown.email)
Date: 2005-07-15 18:42:48 -0700 (Fri, 15 Jul 2005)
Revision: 1242
Log message:

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

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-16 18:10:58 -0700 (Sat, 16 Jul 2005)
Revision: 1243
Log message:

      We can now at least interpret all the files.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-17 09:01:33 -0700 (Sun, 17 Jul 2005)
Revision: 1245
Log message:

      Update against the trunk, since I'm planning to make some changes there.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-17 16:49:45 -0700 (Sun, 17 Jul 2005)
Revision: 1249
Log message:

      As you can no doubt see, this change was too extensive to commit
      to the trunk.
      
      The main change is to use marshal-safe hash-consing for files, dirs,
      and symbols.  The change is fairly minor, but it propagates to a lot
      of places.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-17 17:55:00 -0700 (Sun, 17 Jul 2005)
Revision: 1252
Log message:

      Well, this was dumb, I completely obliterated the branch with the
      changes that I had made.
      
      I'll have to start another branch.
      
      This adds back support for phony targets.  They are now *really*
      scoped, so we won't get those bogus phony errors when a target
      changes from phony back to normal.
      

Changes by: ( at unknown.email)
Date: 2005-07-17 18:21:03 -0700 (Sun, 17 Jul 2005)
Revision: 1254
Log message:

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

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-17 19:26:43 -0700 (Sun, 17 Jul 2005)
Revision: 1255
Log message:

      I think I got back most of what I lost on the strictscope2 branch.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-18 14:57:51 -0700 (Mon, 18 Jul 2005)
Revision: 1259
Log message:

      Somehow lm_hash.mli from the branch got added on the trunk, preventing it from
      compiling.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-20 10:32:10 -0700 (Wed, 20 Jul 2005)
Revision: 1261
Log message:

      Some more experimenting.  This simplifies the system by having 3 kinds
      of variables: private, protected/public, and virtual/file.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-20 17:29:39 -0700 (Wed, 20 Jul 2005)
Revision: 1263
Log message:

      Minor change to determine the Pervasives file early.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-25 13:25:37 -0700 (Mon, 25 Jul 2005)
Revision: 1272
Log message:

      Whew, MetaPRL finally compiles.  The new model is transparent; the
      old OMakefiles work as-is, with one exception for the $(defined X)
      function.  I can probably hack it for compatibility.
      

Changes by: ( at unknown.email)
Date: 2005-07-30 09:12:13 -0700 (Sat, 30 Jul 2005)
Revision: 1274
Log message:

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

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-30 09:12:13 -0700 (Sat, 30 Jul 2005)
Revision: 1275
Log message:

      Merges changes from the trunk.
      

Changes by: ( at unknown.email)
Date: 2005-07-30 09:12:13 -0700 (Sat, 30 Jul 2005)
Revision: 1276
Log message:

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