eiffelstudio-public - Revision 107829: /branches/eth/eve/Src/Eiffel/interface/new_graphical/refactoring/commands

• ..
• eb_rf_create_custom_setter_command.e
• eb_rf_create_setter_command.e
• eb_rf_extract_constant_command.e
• eb_rf_extract_method_command.e
• eb_rf_make_effective_command.e
• eb_rf_pretty_print_command.e
• eb_rf_pull_command.e
• eb_rf_redo_command.e
• eb_rf_rename_command.e
• eb_rf_undo_command.e