Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-08-27 13:57:20 -0700 (Wed, 27 Aug 2003)
Revision: 4886
Log message:

      Aleksey's jumbo commit to rid of all unnecessary open's is too
      optimistic. There are modules that are opened for side-effect...
      

Changes	Path
+1 -0	metaprl/editor/ml/shell_mp.ml