Read-only release history for secprog-tpc2002