Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-10-01 00:38:23 -0700 (Tue, 01 Oct 2002)
Revision: 3905
Log message:

      Added Brian's home page, updated mine.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-10-01 14:36:38 -0700 (Tue, 01 Oct 2002)
Revision: 3906
Log message:

      Updated a few links from Cornell to Caltech.
      

Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-10-17 18:58:15 -0700 (Thu, 17 Oct 2002)
Revision: 3910
Log message:

      Fixed two small errors in the comments.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-10-29 15:09:23 -0800 (Tue, 29 Oct 2002)
Revision: 3917
Log message:

      Itt_well_founded should go after Itt_logic (noticed by Xin).
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-10-29 18:25:26 -0800 (Tue, 29 Oct 2002)
Revision: 3918
Log message:

      For "sim", use the real "tilde" operator instead of the "asciitilde"
      (which is often drawn at the top of the row, not in the middle).
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-10-30 22:30:00 -0800 (Wed, 30 Oct 2002)
Revision: 3919
Log message:

      Removed all the remaining references to the mp12 font.
      
      The prl-hack mode will now use -misc-fixed-medium-r-normal--15-140-75-75-c-90-iso10646-1
      by default.
      
      P.S. I've also removed a workaround that Carl had for a bug
      in the Debian's emacs package 20.3-8, hopefully it is no longer needed.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-10-30 22:51:45 -0800 (Wed, 30 Oct 2002)
Revision: 3920
Log message:

      Changed the scripts to all use /bin/sh, not /bin/csh.
      Pls let me know if this broke something.
      

Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-10-31 04:07:39 -0800 (Thu, 31 Oct 2002)
Revision: 3921
Log message:

      Corrected some typos.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-10-31 11:36:42 -0800 (Thu, 31 Oct 2002)
Revision: 3922
Log message:

      Fixed a few typos, checked a few theories through MP_DEBUG=spell
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-10-31 14:07:54 -0800 (Thu, 31 Oct 2002)
Revision: 3923
Log message:

      Fixed a grammar problem noticed by Xin.
      

Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-10-31 15:01:28 -0800 (Thu, 31 Oct 2002)
Revision: 3924
Log message:

      Fixed some grammar error.