[nogin] Added Brian_s home page, updated mine._ Mon Sep 19 03:44:21 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-21-620277000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-21-620277000-PDT.html [nogin] Updated a few links from Cornell to Caltech._ Mon Sep 19 03:44:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-22-066271000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-22-066271000-PDT.html [xiny] Fixed two small errors in the comments._ Mon Sep 19 03:44:24 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-24-234825000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-24-234825000-PDT.html [nogin] Itt_well_founded should go after Itt_logic _noticed by Xin_._ Mon Sep 19 03:44:27 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-27-787951000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-27-787951000-PDT.html [nogin] For _sim_, use the real _tilde_ operator instead of the _asciitilde__ Mon Sep 19 03:44:28 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-28-145772000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-28-145772000-PDT.html [nogin] Removed all the remaining references to the mp12 font._ Mon Sep 19 03:44:28 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-28-520922000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-28-520922000-PDT.html [nogin] Changed the scripts to all use /bin/sh, not /bin/csh._ Mon Sep 19 03:44:29 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-29-072279000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-29-072279000-PDT.html [xiny] Corrected some typos._ Mon Sep 19 03:44:29 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-29-706582000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-29-706582000-PDT.html [nogin] Fixed a few typos, checked a few theories through MP_DEBUG_spell_ Mon Sep 19 03:44:30 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-30-736993000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-30-736993000-PDT.html [nogin] Fixed a grammar problem noticed by Xin._ Mon Sep 19 03:44:31 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-31-856685000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-31-856685000-PDT.html [xiny] Fixed some grammar error._ Mon Sep 19 03:44:32 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-32-216782000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-10/2005-09-19-03-44-32-216782000-PDT.html