/[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 3292 by nogin, Sun Jun 24 10:25:49 2001 UTC revision 3294 by nogin, Sun Jun 24 17:30:44 2001 UTC
# Line 158  Line 158 
158     Hashtbl.create 201     Hashtbl.create 201
159    
160  let add tbl (module_name,name,expr) =  let add tbl (module_name,name,expr) =
161     Hashtbl.add tbl name (module_name,expr)     Hashtbl.add tbl name ((String.capitalize module_name),expr)
162    
163  let add_commands tbl =  let add_commands tbl =
164     List.iter (fun (name, expr) -> Hashtbl.add tbl name ("",expr))     List.iter (fun (name, expr) -> Hashtbl.add tbl name ("",expr))

Legend:
Removed from v.3292  
changed lines
  Added in v.3294

  ViewVC Help
Powered by ViewVC 1.1.26