Do you have any last bug reports or (modest) enhancement requests to throw into the queue before then?
_______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
After being way too distracted with other stuff for the last few months,
I've cleared the backlog of Ur/Web bug reports and pull requests. I'd
like to put out a new release soon, probably this Thursday.
- [Ur] New release soon; any last change requests? Adam Chlipala
