Read-only release history for Math-Logic-Predicate