eiffelstudio-public - Revision 107750: /branches/eth/capture_replay/Src/Eiffel/switch/communication/debug/edit
..
debuggable.e
edit_attr.e
edit_item.e
edit_local.e