Read-only release history for Math-Logic3