Read-only release history for Net-Semantics3