April 2015 Archives by thread

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

Starting: Mon Apr 6 10:11:33 EDT 2015
Ending: Tue Apr 28 18:59:22 EDT 2015
Messages: 18

• [Ur] questions on the demos   mozert1 mozert1
  • [Ur] questions on the demos   Adam Chlipala
• [Ur] XML records from higher-order type classes   Benjamin Barenblat
  • [Ur] XML records from higher-order type classes   Adam Chlipala
    • [Ur] XML records from higher-order type classes   Benjamin Barenblat
      • [Ur] XML records from higher-order type classes   Adam Chlipala
      • [Ur] XML records from higher-order type classes   Benjamin Barenblat
      • [Ur] XML records from higher-order type classes   Adam Chlipala
• [Ur] New release   Adam Chlipala
• [Ur] Announcing the Ur/Web People Organizer   Adam Chlipala
• [Ur] Bug in SQL name-mangling (patch)   Istvan Chung
  • [Ur] Bug in SQL name-mangling (patch)   Adam Chlipala
• [Ur] two small patches   Julian Squires
  • [Ur] two small patches   Adam Chlipala
• [Ur] TechEmpower benchmarks Round 10 release   Adam Chlipala
• [Ur] Client http functionality?   Gabriel Riba
  • [Ur] Client http functionality?   Sergey Mironov
    • [Ur] Client http functionality?   Adam Chlipala

Last message date: Tue Apr 28 18:59:22 EDT 2015
Archived on: Tue Apr 28 18:59:46 EDT 2015

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