Translation import queue for Simple Theorem Prover

These translation related entries are imported, blocked, deleted or waiting to be imported in Launchpad for Simple Theorem Prover. Log in to change items in this list.