Release information
TPTP prerequisites, supported operating systems, and JREs