Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-05-10 14:25:43 -0700 (Tue, 10 May 2005)
Revision: 7259
Log message:

      Removed the PRLFiles function.  For now, directories that have a mix
      of normal/MetaPRL .ml files (support/tactics, support/shell, theories/itt)
      use the "export rules" hack.
      

Changes	Path
+46 -50	metaprl-branches/new_scanner2/OMakefile
+70 -71	metaprl-branches/new_scanner2/editor/ml/OMakefile
+31 -31	metaprl-branches/new_scanner2/mllib/OMakefile
+58 -51	metaprl-branches/new_scanner2/support/shell/OMakefile
+0 -0	metaprl-branches/new_scanner2/support/shell/shell_p4_sig.mlz
+20 -12	metaprl-branches/new_scanner2/support/tactics/OMakefile
+81 -81	metaprl-branches/new_scanner2/theories/experimental/compile/OMakefile
+210 -201	metaprl-branches/new_scanner2/theories/itt/OMakefile
+1 -1	metaprl-branches/new_scanner2/util/OMakefile
+0 -4	mpcompiler-branches/new_scanner2/mmc/OMakefile
+2 -2	mpcompiler-branches/new_scanner2/mmc/main/OMakefile
+0 -4	mpcompiler-branches/new_scanner2/poplmark/pmc/OMakefile
+2 -2	mpcompiler-branches/new_scanner2/poplmark/pmc/main/OMakefile