This package contains editor functionality for temporal logics specifications.