rebol/r3 — pull request #93 by ladislav (2013-02-22 18:29:42+00:00)
Title: * platforms.r

** adding the Android platform + old R2 platforms
** the platform variants are pairs of "minor" platform number and value
* make-boot.r reflects the change of platforms.r
** using sanity check for existence of platform
** system/product name handling fixed