Read-only release history for Data-Shark