[nogin] _ Added link to MetaPRL_related seminars page_Mon Sep 19 02:18:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-20-913127000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-20-913127000-PDT.html[nogin] _ Updated several bug descriptions_Mon Sep 19 02:18:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-21-547553000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-21-547553000-PDT.html[nogin] Changed alpha_equal__ in Term_ds and Term_std to be consistent with Nuprl__Mon Sep 19 02:18:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-22-035328000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-22-035328000-PDT.html[nogin] Updated the bug list__Mon Sep 19 02:18:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-22-571392000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-22-571392000-PDT.html[nogin] There was a small typo in a sub_resource._Mon Sep 19 02:18:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-22-954551000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-22-954551000-PDT.html[nogin] This is no longer used. set_sig.mlz is used instead_Mon Sep 19 02:18:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-23-326102000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-23-326102000-PDT.html[nogin] I wrote a short description of some of the useful modules we have here__Mon Sep 19 02:18:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-23-699159000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-23-699159000-PDT.html[nogin] Added new function to mp_debug_Mon Sep 19 02:18:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-24-185306000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-24-185306000-PDT.html[nogin] Frameset for mp_people.html_Mon Sep 19 02:18:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-30-074045000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-30-074045000-PDT.html[nogin] I created a Makefile that allows converting MetaPRL documentatoion into_Mon Sep 19 02:18:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-30-433537000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-30-433537000-PDT.html[nogin] _ Added a Makefile target _check_ that checks HTML syntax_Mon Sep 19 02:18:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-31-536339000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-31-536339000-PDT.html[nogin] _ Added documentation on how to convert documentation .PS and .PDF formats._Mon Sep 19 02:18:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-40-389156000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-40-389156000-PDT.html[nogin] Renamed break __ hbreak _dforms construction_ to be more consistent._Mon Sep 19 02:18:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-41-605456000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-41-605456000-PDT.html[nogin] Small fixes._Mon Sep 19 02:18:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-42-316255000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-42-316255000-PDT.html[nogin] More fixes_Mon Sep 19 02:18:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-42-849525000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-42-849525000-PDT.html[nogin] HTMLDOC does not like __PRE__IMG ...__/PRE_._Mon Sep 19 02:18:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-43-606181000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-43-606181000-PDT.html[nogin] Mentioned http_//www.cs.cornell.edu/nogin/RPM/meta_prl/ByName.html_Mon Sep 19 02:18:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-44-113650000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-44-113650000-PDT.html[nogin] Added a warning__Mon Sep 19 02:18:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-45-049352000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-45-049352000-PDT.html[nogin] Added__Mon Sep 19 02:18:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-45-423176000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-45-423176000-PDT.html[nogin] Some formatting fixes_Mon Sep 19 02:18:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-45-806118000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-45-806118000-PDT.html[nogin] Fixed some links, updated some information, added rwhigher info._Mon Sep 19 02:18:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-46-342193000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/1999-10/2005-09-19-02-18-46-342193000-PDT.html