Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-02 13:43:35 -0800 (Wed, 02 Feb 2005)
Revision: 782
Log message:

      The standalone libmojave was forgetting all INCLUDES, so
      ssl was not being included on Win32.
      

Changes by: ( at unknown.email)
Date: 2005-02-02 13:43:35 -0800 (Wed, 02 Feb 2005)
Revision: 783
Log message:

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

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-05 17:14:10 -0800 (Sat, 05 Feb 2005)
Revision: 786
Log message:

      Added display-form type checking.  This was a little painful because
      some theories were using xlist as a normal list.  In the end, I changed
      the declarations to the following.
      
         declare xcons{'a : Dform; 'b : Dform} : Dform
         declare xnil : Dform
      
      Base_reflection has its own list, using rcons and rnil.
      You need to use the functions mk_rlist_term, is_rlist_term, etc.,
      instead of mk_xlist_term, is_xlist_term.
      
      The .prla updates are just for the opname renaming.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-06 19:00:18 -0800 (Sun, 06 Feb 2005)
Revision: 787
Log message:

      In osh, collect all of the arguments once a default argument
      is encountered.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-07 04:25:16 -0800 (Mon, 07 Feb 2005)
Revision: 788
Log message:

      ***************************************************************************
      ****             !!!!!         WARNING            !!!!!                ****
      ***************************************************************************
      !!!!!           This commit breaks binary compatibility               !!!!!
      !!!!!         Export all your uncommitted proofs before updating      !!!!!
      !!!!!                                                                 !!!!!
      !!!!!  If you export to a .prla that did not exist before, you will   !!!!!
      !!!!!  to edit it manually after you update - find the line that      !!!!!
      !!!!!  starts with "NPerv!cons" replace the last (third) occurrence   !!!!!
      !!!!!  of "cons" with "xcons", then replace last (third) occurrence   !!!!!
      !!!!!  nil" with "xnil" on the "Perv!nil" line.                       !!!!!
      !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
      
      Merging the opname_classes branch!
      
      This commit inroduces types to MetaPRL syntax with an informal (but pretty
      precise) typechecking. Hopefully Jason will write some documentation
      describing how to use this.
      
      This fixes bug 370 and bug 371.
      

Changes by: yegor (yegor at unknown.email)
Date: 2005-02-08 23:21:36 -0800 (Tue, 08 Feb 2005)
Revision: 789
Log message:

      Added length function to TableSig
      

Changes by: yegor (yegor at unknown.email)
Date: 2005-02-09 11:32:31 -0800 (Wed, 09 Feb 2005)
Revision: 790
Log message:

      I've changed the way add_num and sub_num detect integer overflow.
      Please take a look.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-12 16:33:02 -0800 (Sat, 12 Feb 2005)
Revision: 791
Log message:

      Updated the term hashing in Filter_cache_fun.  This propagates
      changes more accurately when declarations change.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-15 01:43:24 -0800 (Tue, 15 Feb 2005)
Revision: 792
Log message:

      Minor code cleanup. Minor optimizations.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-16 00:30:03 -0800 (Wed, 16 Feb 2005)
Revision: 793
Log message:

      Fixed the do-check-all script.
      

Changes by: yegor (yegor at unknown.email)
Date: 2005-02-20 17:57:17 -0800 (Sun, 20 Feb 2005)
Revision: 794
Log message:

      Added fold_map and replace.
      Because of the way lm_map_sig and
      lm_table_util are crafted
      I failed to define fold with polymorphic type of accumulator.
      (map function is not polymorphic either)
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-22 18:31:26 -0800 (Tue, 22 Feb 2005)
Revision: 796
Log message:

      Lm_parser was not computing the nullable productions properly,
      and it was using goto 0 after reduce on an empty production.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-23 11:24:00 -0800 (Wed, 23 Feb 2005)
Revision: 797
Log message:

      Yay, my first codegen rule, codegen_hoist_fun.  It is wrong,
      but that's beside the point.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-26 10:14:13 -0800 (Sat, 26 Feb 2005)
Revision: 798
Log message:

      Changed args to be a vector instead of a list.
      This is to match with tuples.