[kopylov] Starting object implementation_ Mon Sep 19 06:30:12 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-12-974573000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-12-974573000-PDT.html [xiny] Started implementing the basic computational aspects of reflection._ Mon Sep 19 06:30:13 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-13-829683000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-13-829683000-PDT.html [nogin] The is_bterm rewrites can not be added to reduce directly, we need to wrap_ Mon Sep 19 06:30:14 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-14-288482000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-14-288482000-PDT.html [nogin] Minor clean_up._ Mon Sep 19 06:30:14 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-14-680140000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-14-680140000-PDT.html [nogin] A few display form updates._ Mon Sep 19 06:30:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-15-065742000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-15-065742000-PDT.html [nogin] Some more clean_up._ Mon Sep 19 06:30:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-15-487014000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-15-487014000-PDT.html [n8gray] Changed Apply so that the list of type arguments is a sequent. For example__ Mon Sep 19 06:30:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-16-001711000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-16-001711000-PDT.html [n8gray] Added a caution about building MetaPRL with threads enabled._ Mon Sep 19 06:30:17 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-17-312412000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-17-312412000-PDT.html [kopylov] More on the theory of objects_ Mon Sep 19 06:30:21 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-21-522671000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-21-522671000-PDT.html [kopylov] Added a theory for testing reflection in itt. Fixed two bugs in base_reflection.ml._ Mon Sep 19 06:30:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-22-111155000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-22-111155000-PDT.html [kopylov] Aleksey Nogin wrote__ Mon Sep 19 06:30:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-22-853769000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-22-853769000-PDT.html [kopylov] Theory of Objects_ Another example of recursive object_ Mon Sep 19 06:30:23 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-23-232972000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-23-232972000-PDT.html [nogin] Added a __batch_ command_line option to MetaPRL that causes MetaPRL to be_ Mon Sep 19 06:30:24 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-24-166056000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-24-166056000-PDT.html [nogin] _ Made the tracking of _this operation modified some proof_ flag more precise_ Mon Sep 19 06:30:24 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-24-711336000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-24-711336000-PDT.html [xiny] Added dest_bterm and make_bterm._ Mon Sep 19 06:30:34 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-34-120064000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-34-120064000-PDT.html [nogin] Added a Refiner.Refiner.Term.ops_eq function that should be used for testing_ Mon Sep 19 06:30:36 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-36-929922000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-36-929922000-PDT.html [nogin] Use dummy_loc instead of _0, 0__ Mon Sep 19 06:30:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-37-406940000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-37-406940000-PDT.html [nogin] More _0, 0_ __ _dummy_loc__ Mon Sep 19 06:30:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-37-763388000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-37-763388000-PDT.html [nogin] Even more _0, 0_ __ dummy_loc_ Mon Sep 19 06:30:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-38-118568000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-38-118568000-PDT.html [nogin] Use MLast.loc instead of int _ int_ Mon Sep 19 06:30:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-38-508511000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-38-508511000-PDT.html [nogin] Some more _0, 0_ __ dummy_loc_ Mon Sep 19 06:30:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-38-863143000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-38-863143000-PDT.html [xiny] Added if_same_op, if_simple_bterm, if_var_bterm, and subst._ Mon Sep 19 06:30:39 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-39-237581000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-39-237581000-PDT.html [nogin] _ Removed the _reduce_ annotation that was preventing MetaPRL from starting._ Mon Sep 19 06:30:39 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-39-734339000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-39-734339000-PDT.html [nogin] _ Added support for resource annotations on ML rewrites._ Mon Sep 19 06:30:40 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-40-237319000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-40-237319000-PDT.html [nogin] When __batch_ flag is used, do not save/restore seessions._ Mon Sep 19 06:30:41 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-41-125354000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-41-125354000-PDT.html [nogin] If OCAMLLIB is not set, use C__ocaml_lib _since README.WIN32 suggests that_ Mon Sep 19 06:30:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-44-142458000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-44-142458000-PDT.html [nogin] In preparation for 3.06 __ 3,08 switch, I am calling this MetaPRL version 0.9.6.1_ Mon Sep 19 06:30:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-44-551872000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-44-551872000-PDT.html [] This commit was manufactured by cvs2svn to create tag_ Mon Sep 19 06:30:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-44-914604000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-44-914604000-PDT.html [jyh] Omake_generated config file._ Mon Sep 19 06:30:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-59-978488000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-30-59-978488000-PDT.html [jyh] Ignore .lib files._ Mon Sep 19 06:31:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-00-689075000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-00-689075000-PDT.html [nogin] Added a paragraph on having to edit mk/config._ Mon Sep 19 06:31:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-01-103838000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-01-103838000-PDT.html [nogin] ____________________________________________________________________________ Mon Sep 19 06:31:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-01-478244000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-01-478244000-PDT.html [jyh] Re_implemented prlcomp in mk/prlcomp._ Mon Sep 19 06:31:03 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-03-215000000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-03-215000000-PDT.html [nogin] On Unix, environment variables need to be escaped with signle quotes._ Mon Sep 19 06:31:03 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-03-658481000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-03-658481000-PDT.html [jyh] Empty change._ Mon Sep 19 06:31:04 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-04-151266000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-04-151266000-PDT.html [nogin] Added dependencies on camlp4 _actually _ camlp4o and camlp4r_ and_ Mon Sep 19 06:31:04 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-04-893243000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-04-893243000-PDT.html [nogin] _There were errors._ is not a very good error message, should at least_ Mon Sep 19 06:31:05 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-05-743932000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-05-743932000-PDT.html [nogin] Print a message when mk/config is updated._ Mon Sep 19 06:31:06 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-06-482876000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-06-482876000-PDT.html [nogin] _ Got rid of the annoying _DEFAULT suffix._ Mon Sep 19 06:31:06 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-06-839299000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-06-839299000-PDT.html [nogin] Variable names fix._ Mon Sep 19 06:31:07 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-07-373015000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-07-373015000-PDT.html [nogin] Updated for 3.08_ Mon Sep 19 06:31:07 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-07-757831000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-07-757831000-PDT.html [nogin] Use the right commands for .p4i and .p4_ Mon Sep 19 06:31:08 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-08-213675000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-08-213675000-PDT.html [n8gray] Updated to reflect 3.08.0 upgrade. Hooray_ No more patching__ Mon Sep 19 06:31:08 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-08-574882000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-08-574882000-PDT.html [nogin] Simplified the term grammar a bit._ Mon Sep 19 06:31:08 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-08-954135000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-08-954135000-PDT.html [nogin] _ Cleaned up the handling of bterms in term grammar. The annoying cases_ Mon Sep 19 06:31:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-09-395172000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-09-395172000-PDT.html [nogin] _ Added an input shortcut for sequents with a unary sequent_arg. Now instead_ Mon Sep 19 06:31:14 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-14-259659000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-14-259659000-PDT.html [nogin] Use __batch_ instead of __cli_ when printing theories to .tex_ Mon Sep 19 06:31:14 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-14-755718000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-14-755718000-PDT.html [nogin] _ Added a work_around for Camlp4 bugs handling new_style positions_ Mon Sep 19 06:31:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-15-126837000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-15-126837000-PDT.html [jyh] Get MMC to compile on Win32._ Mon Sep 19 06:31:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-15-917618000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-15-917618000-PDT.html [nogin] Added links to new mailing lists._ Mon Sep 19 06:31:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-16-896009000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-16-896009000-PDT.html [jyh] Some formatting changes._ Mon Sep 19 06:31:17 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-17-331405000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-17-331405000-PDT.html [nogin] Need Omake 0.8.1 _which provides the _echo_ macro_._ Mon Sep 19 06:31:19 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-19-895736000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-19-895736000-PDT.html [jyh] Override the _native flag for OCAMLDEPFLAGS_ Mon Sep 19 06:31:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-22-061415000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-22-061415000-PDT.html [jyh] Removed all _I suffixes from INCLUDES_ Mon Sep 19 06:31:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-22-455742000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-22-455742000-PDT.html [crt] Fixed a couple of problems that occured probably due to Jason_s_ Mon Sep 19 06:31:24 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-24-568604000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-24-568604000-PDT.html [crt] Fixed the MP_DIRS problem._ Mon Sep 19 06:31:24 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-24-971739000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-24-971739000-PDT.html [emre] Making a note that the ranlib issue has been fixed in OCaml CVS._ Mon Sep 19 06:31:26 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-26-205900000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-07/2005-09-19-06-31-26-205900000-PDT.html