I'm hoping to put out a new release of Ur/Web by the beginning of the
coming week, to have it ready in time for the Programming Languages
meets Program Verification workshop (http://cseweb.ucsd.edu/plpv11/).
At least one of my recent changes turned out to have a platform-specific
incompatibility, so I'm writing to ask for volunteers to make sure that
the latest Ur/Web version from the public Mercurial repository
(http://hg.impredicative.com/urweb) builds for them and seems to be
working in general. If you're interested, please send me your comments
off-list.
There's also a possibility to incorporate some last-minute feature
requests or bug fixes that (hopefully) are obviously platform-independent.
Thanks!
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
