eiffelstudio-public - Revision 107829: /branches/Eiffel_67/Src/tools/repository_tool/src/misc
..
ctr_console.e
ctr_console_observer.e
ctr_shared_console.e