Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-03-29 12:42:26 -0800 (Sat, 29 Mar 2003)
Revision: 4340
Log message:
Minor updates in AST->IR.
Changes | Path |
+45 -40 | metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_ir.ml |
+38 -26 | metaprl-branches/lm_libmojave/theories/experimental/compile/m_doc_parsing.ml |