私は次のプロパティしか知りません。完全なリストが欲しいのですが。
これは、ターゲットAPIレベル（例ではAPIレベル17）を指定します。
target=android-17
これは、プロジェクトがライブラリであるかどうかを指定します。
android.library=true
これは、Androidの方法で含まれるライブラリを指定します（ライブラリプロジェクトのディレクトリは、含まれるプロジェクトの対応するディレクトリにマージされます）。
android.library.reference.1=../relative/path/to/library/one
android.library.reference.2=../relative/path/to/library/two
...
android.library.reference.n=../relative/path/to/library/n
これAndroidManifest.xmlは、ライブラリプロジェクトのマニフェストファイル（）をインクルードプロジェクトのマニフェストファイルにマージするかどうかを指定します。
manifestmerger.enabled=true
プロジェクトの最初の3つ（Eclipseによって生成されたもの）を見て、最後の1つをSDKツール-リビジョン-SDKツール、リビジョン20（2012年6月）から見つけました。これは見つけるのが非常に困難です。
公式サイト/ドキュメント/Androidソースに完全なリストはありますか？
-編集済み2013/02/17-
デフォルトのファイルにコメントが残されているプロパティを思い出させてくれたAndroid開発者に感謝します。proguard.configproject.property
これは、 ProGuard構成ファイルへのパスを指定します。
proguard.config=${sdk.dir}/tools/proguard/proguard-android.txt:proguard-project.txt
${sdk.dir}との2つの変数を使用できます${user.home}。詳細については、ProGuardのドキュメントを参照してください。
関連記事：
android-新しい「manifestmerger」プロパティを使用