[jyh] Stange, the comment.ml file was totally out_of_date._ Mon Sep 19 03:43:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-22-975869000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-22-975869000-PDT.html [emre] 3 minor typo corrections before I go off to eat lunch. ____ Mon Sep 19 03:43:23 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-23-810750000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-23-810750000-PDT.html [jyh] Added a title page and table of contents._ Mon Sep 19 03:43:24 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-24-188016000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-24-188016000-PDT.html [emre] A few more typo corrections before we go through the book as a group._ Mon Sep 19 03:43:29 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-29-719389000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-29-719389000-PDT.html [jyh] Updates through Chapter 4._ Mon Sep 19 03:43:30 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-30-092530000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-30-092530000-PDT.html [jyh] Added update script as a temporary hack until we move_ Mon Sep 19 03:43:31 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-31-085095000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-31-085095000-PDT.html [jyh] Updates on the OCaml book._ Mon Sep 19 03:43:31 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-31-438805000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-31-438805000-PDT.html [jyh] Minor changes to the book. Still working on the introduction._ Mon Sep 19 03:43:32 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-32-678133000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-32-678133000-PDT.html [jyh] Updated the intro some. Can you all take a look and see what you_ Mon Sep 19 03:43:33 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-33-405152000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-33-405152000-PDT.html [jyh] Oops, be careful about the _ in an email address._ Mon Sep 19 03:43:33 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-33-864774000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-33-864774000-PDT.html [justins] Correcting grammar/spelling errors in the introduction._ Mon Sep 19 03:43:34 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-34-220829000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-34-220829000-PDT.html [jyh] This is the final version I_m sending to Benjamin._ Mon Sep 19 03:43:34 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-34-605509000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-34-605509000-PDT.html [jyh] Spoke too soon. Fixed some line breaks in the book._ Mon Sep 19 03:43:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-35-715182000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-35-715182000-PDT.html [emre] Cleaning up the code for rewriting integer set operations. They_ Mon Sep 19 03:43:36 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-36-394561000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-36-394561000-PDT.html [emre] Cleaning up generated documentation for Mfir_int_set. Also updating_ Mon Sep 19 03:43:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-37-078575000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-37-078575000-PDT.html [emre] Starting a list of known BUGS with the Mojave FIR theory._ Mon Sep 19 03:43:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-37-533076000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-37-533076000-PDT.html [emre] I_m in the middle of resyncing the term declarations with the FIR._ Mon Sep 19 03:43:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-37-886775000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-37-886775000-PDT.html [emre] I_m going to go ahead and commit the change that hardcodes the location_ Mon Sep 19 03:43:39 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-39-328192000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-39-328192000-PDT.html [emre] Updating the list of modules to print out._ Mon Sep 19 03:43:39 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-39-687871000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-39-687871000-PDT.html [emre] Finally addressing the frame type now that I have some notion_ Mon Sep 19 03:43:41 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-41-948041000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-41-948041000-PDT.html [emre] This finishes my update of all the FIR atoms._ Mon Sep 19 03:43:42 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-42-488301000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-42-488301000-PDT.html [emre] Minor cleanup to documentation._ Mon Sep 19 03:43:43 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-43-093729000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-43-093729000-PDT.html [emre] Updates to get the FIR theory to build with MCC._ Mon Sep 19 03:43:43 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-43-465957000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-43-465957000-PDT.html [emre] Beginning work on updating the functions needed to convert the_ Mon Sep 19 03:43:43 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-43-894528000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-43-894528000-PDT.html [emre] Adding the code to handle _raw_ integer sets. This should_ Mon Sep 19 03:43:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-44-449142000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-44-449142000-PDT.html [emre] Beginning work on the functions needed to convert the FIR type system_ Mon Sep 19 03:43:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-44-965423000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-44-965423000-PDT.html [emre] Wahoo_ This should finish the initial pass at the functions needed_ Mon Sep 19 03:43:45 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-45-475008000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-45-475008000-PDT.html [emre] Minor clean_up only. Nothing new here._ Mon Sep 19 03:43:46 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-46-162673000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-46-162673000-PDT.html [nogin] Fixed compilation with TESTS_yes._ Mon Sep 19 03:43:47 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-47-194057000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-47-194057000-PDT.html [emre] Updating documentation to make some things a bit clearer._ Mon Sep 19 03:43:57 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-57-680076000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-57-680076000-PDT.html [granicz] Enabled __v parameter conversion in relaxed mode._ Mon Sep 19 03:43:58 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-58-908800000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-58-908800000-PDT.html [granicz] Added a simple error term to halt with an error message._ Mon Sep 19 03:43:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-59-294508000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-59-294508000-PDT.html [granicz] Phobos_theory.mlz is now split up._ Mon Sep 19 03:43:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-59-788537000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-43-59-788537000-PDT.html [granicz] Took out extra rewrites, since they should be in reduceC._ Mon Sep 19 03:44:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-00-236315000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-00-236315000-PDT.html [nogin] In context_vars, do a deep search for context vars, do not just look at the_ Mon Sep 19 03:44:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-00-646447000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-00-646447000-PDT.html [nogin] Fixed a syntax error _ it_s weird I_ve never caught it before..._ Mon Sep 19 03:44:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-01-095778000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-01-095778000-PDT.html [emre] Many of the files in this commit were simply touched becuase of minor_ Mon Sep 19 03:44:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-01-470468000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-01-470468000-PDT.html [emre] Updating the list of theories to print._ Mon Sep 19 03:44:05 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-05-199758000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-05-199758000-PDT.html [emre] Oops. Attempting to fix build problem with MCC when the FIR theory_ Mon Sep 19 03:44:05 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-05-624026000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-05-624026000-PDT.html [emre] Okay. _Now_ the MCC/MetaPRL build problem that I created in my_ Mon Sep 19 03:44:06 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-06-018499000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-06-018499000-PDT.html [emre] Cleaning up documentation and some of the typing rules from my_ Mon Sep 19 03:44:06 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-06-379602000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-06-379602000-PDT.html [nogin] I am working on creating a proper locale mapping_ Mon Sep 19 03:44:07 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-07-958991000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-07-958991000-PDT.html [nogin] Initial version of the charmap._ Mon Sep 19 03:44:08 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-08-732059000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-08-732059000-PDT.html [granicz] Added relational meta operations. Before only _ existed._ Mon Sep 19 03:44:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-09-225578000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-09-225578000-PDT.html [nogin] A few mapping fixes._ Mon Sep 19 03:44:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-09-691721000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-09-691721000-PDT.html [granicz] Reverted changes I made earlier._ Mon Sep 19 03:44:10 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-10-202964000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-10-202964000-PDT.html [granicz] Added relational operators to Phobos theory. They are the usual_ Mon Sep 19 03:44:10 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-10-661244000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-10-661244000-PDT.html [nogin] Print actual _Nuprl_font_vdash_ terms in prl mode sequents display form instead_ Mon Sep 19 03:44:11 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-11-184930000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-11-184930000-PDT.html [nogin] Degree sign._ Mon Sep 19 03:44:11 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-11-568749000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-11-568749000-PDT.html [nogin] Inmy previous commit I_ve accidentally included my Unicode changes._ Mon Sep 19 03:44:12 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-12-276693000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-12-276693000-PDT.html [emre] Committing some work done over the weekend. I_ve pretty much fixed_ Mon Sep 19 03:44:12 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-12-973986000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-12-973986000-PDT.html [emre] Adding the file that will be used to convert FIR expressions_ Mon Sep 19 03:44:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-15-373070000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-15-373070000-PDT.html [emre] Committing a little work on the functions to translate the FIR into terms._ Mon Sep 19 03:44:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-15-854995000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-15-854995000-PDT.html [emre] Removing one instance in which I depended on rewrites being_ Mon Sep 19 03:44:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-16-636600000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-16-636600000-PDT.html [emre] Eliminating another case in which I depended on rewrites being_ Mon Sep 19 03:44:17 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-17-119912000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-17-119912000-PDT.html [emre] Committing a few minor documentation updates, fixing the typing rule_ Mon Sep 19 03:44:17 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-17-622343000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-17-622343000-PDT.html [nogin] This commit switches the PRL mode output from using the mp12 font_ Mon Sep 19 03:44:18 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-18-375597000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-18-375597000-PDT.html [nogin] Utilities for selection proper Unicode font._ Mon Sep 19 03:44:19 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-19-072933000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-19-072933000-PDT.html [nogin] Added another version of a _gate_ logo._ Mon Sep 19 03:44:21 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-21-272773000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-09/2005-09-19-03-44-21-272773000-PDT.html