Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-06-21 10:00:19 -0700 (Thu, 21 Jun 2001)
Revision: 3286
Log message:

      Simplified some Camlp4 code.
      <:expr< $uid:"Aa"$ . $lid:"bb"$ >> is equivalent to just <:expr< Aa.bb >>, etc.
      

Changes  Path
+5 -7 metaprl/editor/ml/package_info.ml
+2 -2 metaprl/editor/ml/shell_p4.ml
+1 -1 metaprl/filter/base/filter_ast.ml
+159 -159 metaprl/filter/base/filter_prog.ml
+5 -7 metaprl/filter/boot/proof_convert.ml