Read-only release history for Logic-Kleene