Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-29 00:01:02 -0800 (Sat, 29 Mar 2003)
Revision: 4322
Log message:

      Added a par on Liang's Lambda-Prolog compiler. It seems to be _very_
      close to what we do, it includes parsing, CPS and assembly (Sparc).
      I do not think I've said enough, so if anybody else is willing to take
       a look - http://www.cs.hofstra.edu/~cscccl/hocompiler/padl02.ps.gz ,
      it would probably  be a good idea.
      

Changes	Path
+7 -3	metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_intro.ml
+9 -0	texinputs-branches/lm_libmojave/rc.bib