eiffelstudio-public - Revision 107683: /trunk/Src/Eiffel/fix/application
..
fix_missing_local_type_application.e
fix_unnecessary_redefine_application.e
fix_unused_local_application.e