TPTP Project Archives
Installation Guides
Stand-alone Generic Log Adapter Installation Guide
Release notes