Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1997-08-01 07:37:30 -0700 (Fri, 01 Aug 1997)
Revision: 2043
Log message:

      .
      

Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1997-08-01 07:41:43 -0700 (Fri, 01 Aug 1997)
Revision: 2044
Log message:

      .
      

Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1997-08-01 11:50:34 -0700 (Fri, 01 Aug 1997)
Revision: 2045
Log message:

      .
      

Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1997-08-06 09:06:00 -0700 (Wed, 06 Aug 1997)
Revision: 2046
Log message:

      .
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1997-08-06 09:18:55 -0700 (Wed, 06 Aug 1997)
Revision: 2047
Log message:

      This is an ocaml version with subtyping, type inference,
      d and eqcd tactics.  It is a basic system, but not debugged.
      

Changes by: ( at unknown.email)
Date: 1997-08-06 09:18:55 -0700 (Wed, 06 Aug 1997)
Revision: 2048
Log message:

      This commit was manufactured by cvs2svn to create tag 'version0_1'.

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1997-08-06 09:24:08 -0700 (Wed, 06 Aug 1997)
Revision: 2049
Log message:

      System Makefile.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1997-08-06 09:25:52 -0700 (Wed, 06 Aug 1997)
Revision: 2050
Log message:

      Makefile for editor.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1997-08-06 09:33:12 -0700 (Wed, 06 Aug 1997)
Revision: 2051
Log message:

      Minor changes.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1997-08-06 09:44:03 -0700 (Wed, 06 Aug 1997)
Revision: 2052
Log message:

      Updated CVS content.
      

Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1997-08-06 10:23:38 -0700 (Wed, 06 Aug 1997)
Revision: 2053
Log message:

      oid mathBus
      

Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1997-08-07 12:08:20 -0700 (Thu, 07 Aug 1997)
Revision: 2054
Log message:

      added ObId and ParmList parameter types
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1997-08-07 12:43:52 -0700 (Thu, 07 Aug 1997)
Revision: 2055
Log message:

      Updated and added Lori's term modifications.
      Need to update all pattern matchings.
      

Changes by: Richard Eaton (eaton at cs.cornell.edu)
Date: 1997-08-07 15:07:38 -0700 (Thu, 07 Aug 1997)
Revision: 2056
Log message:

      .
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1997-08-15 17:18:59 -0700 (Fri, 15 Aug 1997)
Revision: 2057
Log message:

       * Added several functions (used in evaluator)
       * Fixed mk_dep0_dep2_dep0_dep2_term
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1997-08-15 17:21:24 -0700 (Fri, 15 Aug 1997)
Revision: 2058
Log message:

       * Original release of the evaluator
       * Currently it is very simple and inefficient
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1997-08-15 17:21:52 -0700 (Fri, 15 Aug 1997)
Revision: 2059
Log message:

       * ITT reduction rules for "lazy" evaluation