Read-only release history for Safe-Isa