November 2014 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Sun Nov 2 09:08:56 EST 2014
Ending: Sun Nov 16 15:26:13 EST 2014
Messages: 4

• [Ur] Ideas for evaluating Ur/Web compiler's optimizations?   Adam Chlipala
  • [Ur] Ideas for evaluating Ur/Web compiler's optimizations?   Sergey Mironov
• [Ur] Patch for Basis.clientIP   Adam Chlipala
• [Ur] Patch, more html5 attributes   Adam Chlipala

Last message date: Sun Nov 16 15:26:13 EST 2014
Archived on: Sun Nov 16 15:26:27 EST 2014

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...