Descargué el programa encapsulado en un archivo zip y lo desempaqué en mi disco duro. No lo hiceinstalar De ninguna manera (porque no sabía cómo). Entonces agreguéproguard.config=proguard.cfg a mi archivo project.properties. Luego realicé una "aplicación para exportar android" que esperaba que eclipse se quejara de que no sabía dónde estaba mi instalación, pero no hubo ninguna queja. De hecho, apareció un nuevo archivo apk en mi almacén de claves, y apareció un conjunto de archivos (dump.txt, etc.) en el subdirectorio proguard de mi aplicación. El mapping.txt parece una buena lista de asignaciones de mis nombres largos de variables a variables de una y dos letras. Todo esto debería ser una fuerte evidencia de que Proguard ha funcionado de alguna manera; mi única preocupación es que la apk es apenas más pequeña de lo que era antes. ¿Hay alguna forma de verificar que la apk incluya las ofuscaciones de proguard?