Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-09 11:35:27 -0700 (Thu, 09 Apr 1998)
Revision: 2118
Log message:

      Changed edit_type to edit_type.mlz
      

Changes	Path
Deleted	metaprl/editor/ml/edit_type.ml
Deleted	metaprl/editor/ml/edit_type.mli
Added	metaprl/editor/ml/edit_type.mlz
Properties	metaprl/editor/ml/edit_type.mlz