Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-02-18 14:47:25 -0800 (Tue, 18 Feb 2003)
Revision: 4084
Log message:

      Now you can use the environment variable LANG_FILE to set the name
      of the grammar file to be used in the ext: quotation.
      You can also set DEBUG_PHOBOS to see the parsing process, although
      I don't see why anyone would be interested in seeing that. To
      disable it, set it to "off".
      

Changes  Path
+19 -1 metaprl/filter/phobos/filter_phobos.ml