Read-only release history for CGI-Formalware