[nogin] Changed xhypcontext to take the context name as a parameter instead of using a_ Sat Oct 1 15:06:04 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-01-15-06-04-752584000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-01-15-06-04-752584000-PDT.html [nogin] Bumping the version number _to account for Ignore_related changes_._ Mon Oct 3 21:12:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-03-21-12-09-421701000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-03-21-12-09-421701000-PDT.html [nogin] Before changing to editor/ml, set MP_CWD environment variable to point to the_ Tue Oct 4 06:16:54 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-04-06-16-54-136976000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-04-06-16-54-136976000-PDT.html [nogin] Bug 529 is not what we originally thought it was _and can be easily worked_ Wed Oct 5 18:28:02 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-05-18-28-02-428703000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-05-18-28-02-428703000-PDT.html [nogin] _.prla should have svn_eol_style property set to _native__ Wed Oct 5 23:11:55 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-05-23-11-55-530456000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-05-23-11-55-530456000-PDT.html [nogin] Deleting an outdated comment._ Thu Oct 6 02:23:32 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-06-02-23-32-257676000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-06-02-23-32-257676000-PDT.html [nogin] Removing the Itt_fun module. Now the independent function is just a dependent_ Thu Oct 6 23:04:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-06-23-04-22-581218000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-06-23-04-22-581218000-PDT.html [nogin] _ Fixed the corrupted itt_subset.prla file._ Sun Oct 16 21:34:11 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-16-21-34-11-345582000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-16-21-34-11-345582000-PDT.html [nogin] Proved the itt_bisect lemmas that did not have a complete proof_ Sun Oct 16 23:27:48 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-16-23-27-48-270939000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-16-23-27-48-270939000-PDT.html [nogin] Removed the non_existent itt_fun from the list of theories to print._ Mon Oct 17 13:32:33 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-17-13-32-33-508179000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-17-13-32-33-508179000-PDT.html [nogin] For some reason, itt_list2 was using itt_pairwise, which is bad. I removed the_ Thu Oct 20 18:42:25 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-20-18-42-25-301425000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-20-18-42-25-301425000-PDT.html [nogin] THe theories/itt/core include is only needed by the editor/ml/tests directory_ Thu Oct 20 19:55:39 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-20-19-55-39-660003000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-20-19-55-39-660003000-PDT.html [nogin] Added a _mixed_ compilation mode that builds a native code filter and a_ Thu Oct 20 20:09:17 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-20-20-09-17-310556000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-20-20-09-17-310556000-PDT.html [nogin] _ Avoid repeating the include directories in both MP_INCLUDE environment_ Fri Oct 21 05:07:43 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-21-05-07-43-677673000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-21-05-07-43-677673000-PDT.html [nogin] Fixing the documentation generation for ITT._ Fri Oct 21 05:35:11 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-21-05-35-11-692959000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-21-05-35-11-692959000-PDT.html [nogin] Adding reduceT to the end of autoCompleteT. This results in a noticeable_ Fri Oct 21 16:14:10 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-21-16-14-10-287057000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-21-16-14-10-287057000-PDT.html [nogin] Adding PHONY targets for running MetaPRL once it compiles._ Fri Oct 21 18:28:48 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-21-18-28-48-457274000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-21-18-28-48-457274000-PDT.html [nogin] Proved a rule allowing _nice_ elimination of the Image type when the base type_ Fri Oct 21 19:32:36 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-21-19-32-36-410152000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-21-19-32-36-410152000-PDT.html [nogin] Bug 534_ use _echo _ ___ instead of touch ____ for portability_ Fri Oct 21 21:32:26 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-21-21-32-26-722769000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-21-21-32-26-722769000-PDT.html [nogin] Adding a new PHONY target _ run _omake core_incompletes_ to receive an email_ Fri Oct 21 21:45:46 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-21-21-45-46-112909000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-21-21-45-46-112909000-PDT.html [nogin] Removed an unnecessary wf assumption from the img_sqsimple rule._ Sat Oct 22 15:05:30 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-22-15-05-30-965196000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-22-15-05-30-965196000-PDT.html [nogin] Somehow my previous img_sqsimple commit did not include the .prla, sorry._ Sat Oct 22 15:24:26 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-22-15-24-26-582342000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-22-15-24-26-582342000-PDT.html [nogin] Yes, well_ordering_principle is indeed bogus._ Sat Oct 22 15:31:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-22-15-31-22-573858000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-22-15-31-22-573858000-PDT.html [nogin] rewriteAxiom1 should be a part of intro, not added to autoT directly._ Sat Oct 22 16:50:50 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-22-16-50-50-160560000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-22-16-50-50-160560000-PDT.html [nogin] Added a listing of all the primitive rules in the core_ Thu Oct 27 15:16:32 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-27-15-16-32-323326000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-27-15-16-32-323326000-PDT.html [nogin] Making some progress re_verifying the rules under the pairwise functionality semantics_ Thu Oct 27 16:07:05 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-27-16-07-05-948047000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-27-16-07-05-948047000-PDT.html [nogin] Fixed a few of _unused variable_ warnings. These have uncovered a real bug __ Thu Oct 27 17:53:13 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-27-17-53-13-367186000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-27-17-53-13-367186000-PDT.html [nogin] When using camlp4, pass __loc _loc_ argument to get the location variable in_ Thu Oct 27 19:10:25 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-27-19-10-25-882244000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-27-19-10-25-882244000-PDT.html [nogin] Updating the magic digest to match recent libmojave changes._ Thu Oct 27 19:24:43 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-27-19-24-43-856746000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-27-19-24-43-856746000-PDT.html [nogin] Addressing a number of _unused variable_ warnings._ Thu Oct 27 19:47:55 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-27-19-47-55-156684000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-27-19-47-55-156684000-PDT.html [nogin] Rearranged the config file, moving more _novice_friendly_ variables _suth as_ Fri Oct 28 02:53:47 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-02-53-47-875885000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-02-53-47-875885000-PDT.html [nogin] Issue 537_ complain if _omake check_status_ is called with an inappropriate_ Fri Oct 28 03:01:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-03-01-59-223567000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-03-01-59-223567000-PDT.html [nogin] _ Issue 538_ At the end of the build process, delete any outdated binaries in_ Fri Oct 28 03:25:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-03-25-37-534636000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-03-25-37-534636000-PDT.html [nogin] Create a symlink editor/ml/mp __ editor/ml/mpopt _or top_ so there is always a_ Fri Oct 28 03:39:45 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-03-39-45-321144000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-03-39-45-321144000-PDT.html [nogin] More work on eliminating unused variable _and addressing bugs that are_ Fri Oct 28 05:39:18 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-05-39-18-017376000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-05-39-18-017376000-PDT.html [nogin] Trying to come up with code that would compile equally well under OCaml_ Fri Oct 28 05:48:13 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-05-48-13-354155000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-05-48-13-354155000-PDT.html [nogin] More _loc_ __ __loc_ changes_ Fri Oct 28 07:25:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-07-25-38-851109000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-07-25-38-851109000-PDT.html [nogin] More changes related to chaising unused variables_ Fri Oct 28 08:06:46 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-08-06-46-018913000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-08-06-46-018913000-PDT.html [nogin] Eliminating yet another unused variable._ Fri Oct 28 12:01:54 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-12-01-54-422579000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-12-01-54-422579000-PDT.html [nogin] _Alexei and Aleksey__ Fri Oct 28 17:59:52 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-17-59-52-448888000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-28-17-59-52-448888000-PDT.html [nogin] MetaPRL is now compatible with OCaml 3.09 _while retaining compatibility with_ Sat Oct 29 11:29:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-29-11-29-44-016941000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-29-11-29-44-016941000-PDT.html [nogin] Added the OMakefile needed for building the itt/extensions/rfun theory._ Sat Oct 29 20:40:45 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-29-20-40-45-716488000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-29-20-40-45-716488000-PDT.html [nogin] Resurrected Itt_dprod_imp_ Sat Oct 29 21:43:54 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-29-21-43-54-364083000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-29-21-43-54-364083000-PDT.html [nogin] MetaPRL should use libmojave trunk as well._ Mon Oct 31 19:47:26 PST 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-31-19-47-26-113999000-PST.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-31-19-47-26-113999000-PST.html [nogin] Updating the magic to match the recent libmojave changes._ Mon Oct 31 21:03:09 PST 2005 http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-31-21-03-09-095123000-PST.html http://svn.metaprl.org/commitlogs/metaprl/2005-10/2005-10-31-21-03-09-095123000-PST.html