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."