[lolorigo] ._ Mon Sep 19 01:56:39 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-39-147056000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-39-147056000-PDT.html [lolorigo] ._ Mon Sep 19 01:56:39 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-39-743503000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-39-743503000-PDT.html [eaton] ._ Mon Sep 19 01:56:40 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-40-065378000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-40-065378000-PDT.html [eaton] ._ Mon Sep 19 01:56:40 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-40-742697000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-40-742697000-PDT.html [jyh] This is an ocaml version with subtyping, type inference,_ Mon Sep 19 01:56:41 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-41-327980000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-41-327980000-PDT.html [] This commit was manufactured by cvs2svn to create tag _version0_1_._ Mon Sep 19 01:56:52 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-52-530331000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-52-530331000-PDT.html [jyh] System Makefile._ Mon Sep 19 01:56:52 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-52-845136000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-52-845136000-PDT.html [jyh] Makefile for editor._ Mon Sep 19 01:56:53 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-53-185326000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-53-185326000-PDT.html [jyh] Minor changes._ Mon Sep 19 01:56:53 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-53-573772000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-53-573772000-PDT.html [jyh] Updated CVS content._ Mon Sep 19 01:56:54 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-54-018039000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-54-018039000-PDT.html [lolorigo] oid mathBus_ Mon Sep 19 01:56:54 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-54-519605000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-54-519605000-PDT.html [lolorigo] added ObId and ParmList parameter types_ Mon Sep 19 01:56:54 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-54-884772000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-54-884772000-PDT.html [jyh] Updated and added Lori_s term modifications._ Mon Sep 19 01:56:55 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-55-309894000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-55-309894000-PDT.html [eaton] ._ Mon Sep 19 01:56:56 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-56-370376000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-56-370376000-PDT.html [nogin] _ Added several functions _used in evaluator__ Mon Sep 19 01:56:56 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-56-903900000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-56-903900000-PDT.html [nogin] _ Original release of the evaluator_ Mon Sep 19 01:56:57 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-57-389573000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-57-389573000-PDT.html [nogin] _ ITT reduction rules for _lazy_ evaluation_ Mon Sep 19 01:56:57 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-57-867305000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1997-08/2005-09-19-01-56-57-867305000-PDT.html