Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-03-26 18:27:40 -0800 (Wed, 26 Mar 2003)
Revision: 4247
Log message:

      Adding a few links at the end of the introduction.  The main one
      to look at, I think, is the one about the FreshML project.
      
      Note that the formatting in my comment is hiddious since I can't
      seem to make a verbatim environment within an @comment work
      properly, and I have no idea how to make a simple tilde character
      show up...
      
      Oh yeah, is it me, or does the paper no longer build anymore?
      I haven't found a way of hacking doc/latex/theories/m-paper.tex
      to the point where it compiles...
      

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