/[mojave]/metaprl/theories/tactic/mptop.ml
ViewVC logotype

Diff of /metaprl/theories/tactic/mptop.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2629 by jyh, Sun Apr 4 22:07:38 1999 UTC revision 2630 by jyh, Sun Apr 4 23:35:20 1999 UTC
# Line 90  Line 90 
90  type top_table =  type top_table =
91     (string, string * expr) Hashtbl.t     (string, string * expr) Hashtbl.t
92    
93  resource (string * expr, top_table, top_data) toploop_resource  resource (string * expr, top_table, top_data, unit) toploop_resource
94    
95  (************************************************************************  (************************************************************************
96   * IMPLEMENTATION                                                       *   * IMPLEMENTATION                                                       *
# Line 648  Line 648 
648        { resource_join = join_resource;        { resource_join = join_resource;
649          resource_extract = extract_resource;          resource_extract = extract_resource;
650          resource_improve = improve_resource;          resource_improve = improve_resource;
651            resource_improve_arg = Mp_resource.improve_arg_fail "toploop_resource";
652          resource_close = close_resource          resource_close = close_resource
653        }        }
654        (add_resources Empty values)        (add_resources Empty values)

Legend:
Removed from v.2629  
changed lines
  Added in v.2630

  ViewVC Help
Powered by ViewVC 1.1.26