Available as usual at: http://www.impredicative.com/ur/ CHANGELOG for this release: - Client-side: detect session timeout and ask the user to reload - New Basis math functions: abs, acos, asin, atan, atan2, cos, exp, floor, log, pow, sqrt, sin - Compatibility fixes for newer C and SML compilers - Bug fixes