Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-03-23 14:42:38 -0800 (Sun, 23 Mar 2003)
Revision: 4223
Log message:

      Some typo fixes to documentation.  (I'm tempted to go through and
      fill out all the documentation, but probably it is not worth it
      just yet.)  Minor tweak to the LetTuple display form.
      
      I think I get the basics of the IR.  Only one statement really
      confuses me at this point:  ``For now, variables are represented
      as variables; we don't need separate atoms.''  Then what is
      AtomVar for?  I am guessing that that statement is out-of-date.
      

Changes	Path
+2 -2	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ir.ml
+2 -2	metaprl-branches/lm_libmojave/theories/experimental/compile/m_ir.mli