Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-11 20:46:13 -0700 (Fri, 11 Jun 2004)
Revision: 5888
Log message:

      - (bug 154) Made the read_tokens function delayed - the token file will
      not be read until an FDL connection is actually opened.
      
      - The filter-processes MetaPRL files no longer depend on the phony
      $(MPINSTALL) target! Now the only dependencies left are the real ones and
      the build should be more parallelizable than before.
      
      - Be more clean in "omake clean" in support/shell.
      

Changes	Path
+7 -7	metaprl/OMakefile
+4 -2	metaprl/editor/ml/nuprl_run.ml
+3 -6	metaprl/library/registry.ml
+1 -3	metaprl/library/registry.mli
+1 -1	metaprl/support/shell/OMakefile