Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-09-24 11:40:03 -0700 (Thu, 24 Sep 1998)
Revision: 2474
Log message:

      Fixed edit_node to convert to ped automatically.
      

Changes	Path
+3 -3	metaprl/editor/ml/shell_rule.ml
+5 -5	metaprl/filter/filter_ast.ml
+16 -4	metaprl/theories/base/base_auto_tactic.ml
+5 -11	metaprl/theories/itt/itt_struct.ml