eiffelstudio-public - Revision 107781: /branches/Eiffel_14.05/Src/Eiffel/fix/application
..
fix_missing_local_type_application.e
fix_unused_local_application.e