Read-only release history for Math-Goedel