Read-only release history for StateMachine-Abstract