[jyh] Added an initial incomplete version of the distributed marshaler._ Mon Sep 19 02:10:48 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-10-48-438036000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-10-48-438036000-PDT.html [kopylov] Alexei _ Alexey__ Mon Sep 19 02:10:50 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-10-50-081532000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-10-50-081532000-PDT.html [jyh] Fixed a type error in define_axiom._ Mon Sep 19 02:10:50 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-10-50-671470000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-10-50-671470000-PDT.html [kopylov] 1_ Added a bug list into BUGS_ Mon Sep 19 02:10:51 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-10-51-995448000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-10-51-995448000-PDT.html [nogin] Added_ MetaPRL toploop does not produce any meaningful parsing errors_ Mon Sep 19 02:10:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-10-59-481436000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-10-59-481436000-PDT.html [kopylov] Added_ loading two theories that both include the same theory produces unexpected results_ Mon Sep 19 02:10:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-10-59-840978000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-10-59-840978000-PDT.html [nogin] Added pthreads instructions_ Mon Sep 19 02:11:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-00-225127000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-00-225127000-PDT.html [jyh] The rule for induction on W_types was unsound. Fix thanks_ Mon Sep 19 02:11:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-00-599279000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-00-599279000-PDT.html [nogin] Make sure OCAMLSRC and ENSROOT are non_empty_ Mon Sep 19 02:11:02 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-02-340306000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-02-340306000-PDT.html [nogin] Added the Refiner information _VERBOSE/SIMPLE and ds/std_ into mp_version_ Mon Sep 19 02:11:02 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-02-698651000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-02-698651000-PDT.html [nogin] _ Fixed a bug in Term_ds__ Mon Sep 19 02:11:03 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-03-158078000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-03-158078000-PDT.html [kopylov] Fixed fun_df3__ Mon Sep 19 02:11:06 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-06-780854000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-06-780854000-PDT.html [nogin] _ Updated the BUGS file_ Mon Sep 19 02:11:07 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-07-163113000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-07-163113000-PDT.html [] This commit was manufactured by cvs2svn to create tag_ Mon Sep 19 02:11:07 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-07-734779000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-07-734779000-PDT.html [nogin] I tagged the current version with meta_prl_0_5_2 tag and bumped the version number_ Mon Sep 19 02:11:08 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-08-060423000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-08-060423000-PDT.html [jyh] Added MPPATH environment variable _as requested by Mark Bickford__ Mon Sep 19 02:11:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-09-632508000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-09-632508000-PDT.html [kopylov] Added_ cd theory__ load theory__ __it__ produces an error_ Mon Sep 19 02:11:10 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-10-014426000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-10-014426000-PDT.html [nogin] I hope I_ve fixed the OSTYPE/pthreads check._ Mon Sep 19 02:11:10 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-10-419460000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-10-419460000-PDT.html [jyh] Modified the itt_rfun display form to be recursive._ Mon Sep 19 02:11:11 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-11-035663000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-11-035663000-PDT.html [jyh] Added ML side_conditions, so that rewrites and rules can be defined_ Mon Sep 19 02:11:11 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-11-432115000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-11-432115000-PDT.html [jyh] This is a major modification to how parameters are handled._ Mon Sep 19 02:11:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-15-214931000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-15-214931000-PDT.html [nogin] TermSubst.equal_params should be called recursively when argument is a ParamList_ Mon Sep 19 02:11:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-22-053875000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-22-053875000-PDT.html [nogin] OK, here is the updated code for the weak_pointers based Term_copy modules_ Mon Sep 19 02:11:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-22-454086000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-22-454086000-PDT.html [jyh] I hope I have fixed the problem with .prlb files_ Mon Sep 19 02:11:24 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-24-658114000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-24-658114000-PDT.html [nogin] ._ Mon Sep 19 02:11:25 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-25-141347000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-25-141347000-PDT.html [nogin] I removed _ from the parameter syntax for meta_parameters. Now_ Mon Sep 19 02:11:25 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-25-710843000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-25-710843000-PDT.html [eli] Added _.ppo._ Mon Sep 19 02:11:31 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-31-398401000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-31-398401000-PDT.html [eli] Changed X_ identifiers to X1 to avoid the preprocessor problem with the_ Mon Sep 19 02:11:31 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-31-726649000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-31-726649000-PDT.html [eli] Fix some slot[lt]_..._ and slot[le]_..._ to use quotes._ Mon Sep 19 02:11:32 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-32-163061000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-32-163061000-PDT.html [eli] Reworked some parts so now it works fine again._ Mon Sep 19 02:11:32 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-32-665731000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-32-665731000-PDT.html [eli] Few more minor fixes._ Mon Sep 19 02:11:33 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-33-152723000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-33-152723000-PDT.html [jyh] In Itt_list.nilFormation, _A list should be list__A_._ Mon Sep 19 02:11:33 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-33-514652000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-33-514652000-PDT.html [nogin] _ Fixed a nasty bug in TermAddr.apply_var_fun_higher_bterms _both ds and std versions_._ Mon Sep 19 02:11:33 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-33-915204000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-05/2005-09-19-02-11-33-915204000-PDT.html