The documentation on this is extremely poor. I understand that ProGuard can be enabled by manually editing \"default.properties\" in the project\'s rot directory. And all th
The ProGuard jar is located inside the Android SDK: android-sdk/tools/proguard/lib/proguard.jar
You can print out its version number with
java -jar android-sdk/tools/proguard/lib/proguard.jar
(with the proper path). If necessary, you can replace the jar (actually, the entire proguard subdirectory) with the latest version from the download page at the official ProGuard site.