[Ur] Anything I've missed for a last 2013 release?

Adam Chlipala adamc at csail.mit.edu
Sun Dec 29 10:45:55 EST 2013


I'd like to make a last official Ur/Web release for 2013, including a 
variety of bug fixes, plus optimizations motivated by the TechEmpower 
benchmarks.

Have I forgotten any last changes that are appropriate to make first?



More information about the Ur mailing list