Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - Bug fixes - Improvement to choice of line number to cite in record unification error messages - SELECT DISTINCT - New extra demos: orm1 and versioned1