Read-only release history for logic-kleene