Changes by: ( at unknown.email)
Date: 2005-05-06 21:57:23 -0700 (Fri, 06 May 2005)
Revision: 7255
Log message:

      This commit was manufactured by cvs2svn to create branch 'new_scanner2'.

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 by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-05-10 17:07:05 -0700 (Tue, 10 May 2005)
Revision: 7260
Log message:

      New method for computing theories.dir and mldebug.dir (the search
      paths).
      
      If you want to add directory "-I foo" to theories.dir, add a dependency:
      
          $(THEORIES_PATH): foo
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-05-13 14:32:06 -0700 (Fri, 13 May 2005)
Revision: 7278
Log message:

      Forgot to merge the scanner changes for mmc.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-19 02:37:23 -0700 (Thu, 19 May 2005)
Revision: 7297
Log message:

      Print "empty" variables as "_".