[] This commit was manufactured by cvs2svn to create branch _new_scanner2_._ Mon Sep 19 07:21:05 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2005-05/2005-09-19-07-21-05-834002000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2005-05/2005-09-19-07-21-05-834002000-PDT.html [jyh] Removed the PRLFiles function. For now, directories that have a mix_ Mon Sep 19 07:21:23 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2005-05/2005-09-19-07-21-23-939047000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2005-05/2005-09-19-07-21-23-939047000-PDT.html [jyh] New method for computing theories.dir and mldebug.dir _the search_ Mon Sep 19 07:21:25 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2005-05/2005-09-19-07-21-25-108796000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2005-05/2005-09-19-07-21-25-108796000-PDT.html [jyh] Forgot to merge the scanner changes for mmc._ Mon Sep 19 07:21:52 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2005-05/2005-09-19-07-21-52-788267000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2005-05/2005-09-19-07-21-52-788267000-PDT.html [nogin] Print _empty_ variables as ___._ Mon Sep 19 07:22:16 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2005-05/2005-09-19-07-22-16-374025000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2005-05/2005-09-19-07-22-16-374025000-PDT.html