[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

Previous message: [Ur] More thoughts on the TechEmpower framework benchmarks
Next message: [Ur] New release
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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?

Previous message: [Ur] More thoughts on the TechEmpower framework benchmarks
Next message: [Ur] New release
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Ur mailing list