Release information
TPTP v4.4 prerequisites and tested operating systems and JRE combinations