Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-08-08 08:25:48 -0700 (Sun, 08 Aug 1999)
Revision: 2807
Log message:

      These are outdated
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-08-25 12:09:25 -0700 (Wed, 25 Aug 1999)
Revision: 2808
Log message:

      I added a TeX mode for display.  This was a quick hack, and it
      it _not_ the way it should be done long term.  We should be able
      to do the formatting and indentation with boxes, etc.
      
      I added SIL.  This theory is an incomplete semantics of a
      "simple imperative language."
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-08-31 10:31:53 -0700 (Tue, 31 Aug 1999)
Revision: 2809
Log message:

      Display changes to get Java to work a little better.