Read-only release history for Math-PartialOrder