long awaited TPTP Editor