... and how to find it out (in an authorative way)?
In Android Studio 0.8.11: when I check the same it shows 10.0.8.11. which corresponds to http://tool
I think I found a more specific answer, not perfect; it's really complicated as Scott said. I found that the android plugin is referenced from an external repository which is not on github in the getPlugins script:
git clone git://git.jetbrains.org/idea/android.git android
build.txt
in install folder)Unfortunately I didn't find any clear pointer to revision range in the Google Android Studio repo, but you can try matching by dates.
For 13.1.5 on the IntelliJ IDEA website > Downloads: Build: 135.1289
To give a rough estimation one can check in
IntelliJ IDEA\plugins\android\lib\android.jar\META-INF\plugin.xml
Where it's clear what is the minimum version is:
, since any commits after that may be merged until this line changes to the next version.