[Ur] New release soon; any last change requests?

Adam Chlipala adamc at csail.mit.edu
Sun Jan 1 11:30:36 EST 2017


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.

Do you have any last bug reports or (modest) enhancement requests to 
throw into the queue before then?




More information about the Ur mailing list