Read-only release history for Logic-Tools