Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-03-28 23:49:01 -0800 (Fri, 28 Mar 2003)
Revision: 4320
Log message:

      I have this paragraph that I want to write about work that has
      been done on augmenting compilers written in general-purpose
      programming languages with formal tools.  I can't seem to find
      a good way of stating anything, so if this is a topic that's not
      worth pursuing, I'd like to know that.  (-:
      

Changes	Path
+9 -0	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_intro.ml