Migration Guide
Resource Migration Guide v4.1.0

This guide covers migrating TPTP 4.0.0 (or earlier) resources to TPTP 4.1.0.

One of the goals of TPTP 4.1.0 was to move TPTP forward while remaining compatible with previous versions to the greatest extent possible. While every effort way made to avoid breakage, there are a few areas of incompatibility. This document describes the areas where TPTP changed in incompatible ways between 4.0.0 and 4.1.0, and provides instructions for migrating 4.0.0 resources to 4.1.0.

Legal notices