/[eiffelstudio]/branches/eth/eve/Src/Eiffel/interface/graphical/tools/autoproof/es_autoproof_tool_panel.e
ViewVC logotype

Diff of /branches/eth/eve/Src/Eiffel/interface/graphical/tools/autoproof/es_autoproof_tool_panel.e

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

revision 93596 by julian, Wed Nov 27 10:23:56 2013 UTC revision 93597 by julian, Tue Dec 3 00:48:44 2013 UTC
# Line 9  class Line 9  class
9    
10  inherit  inherit
11          ES_CLICKABLE_EVENT_LIST_TOOL_PANEL_BASE          ES_CLICKABLE_EVENT_LIST_TOOL_PANEL_BASE
12                    rename
13                            messages as es_messages
14                  redefine                  redefine
15                          build_tool_interface,                          build_tool_interface,
16                          on_before_initialize,                          on_before_initialize,

Legend:
Removed from v.93596  
changed lines
  Added in v.93597

  ViewVC Help
Powered by ViewVC 1.1.23