July 2011 Archives by thread

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

Starting: Wed Jul 13 09:12:01 EDT 2011
Ending: Sun Jul 31 18:32:04 EDT 2011
Messages: 36

• [Ur] Anyone looking for paid work?   Adam Chlipala
• [Ur] New release   Adam Chlipala
• [Ur] Project web site facelift!   Adam Chlipala
• [Ur] openid fails to build on OS X   austin seipp
  • [Ur] openid fails to build on OS X   Robin Green
    • [Ur] openid fails to build on OS X   Adam Chlipala
      • [Ur] openid fails to build on OS X   austin seipp
      • [Ur] openid fails to build on OS X   Adam Chlipala
• [Ur] Binary builds/formula of Ur/Web available for OS X & Homebrew users   austin seipp
• [Ur] Beginning of Ur tutorial   Adam Chlipala
• [Ur] hiccups with tutorial ...   Vasili I. Galchin
  • [Ur] hiccups with tutorial ...   Karn Kallio
    • [Ur] hiccups with tutorial ...   Gergely Buday
  • [Ur] hiccups with tutorial ...   Vasili I. Galchin
    • [Ur] hiccups with tutorial ...   Chris Double
    • [Ur] hiccups with tutorial ...   Adam Chlipala
• [Ur] my 2nd day on UR .... chomping my way through Ur/Web tutorial ....   Vasili I. Galchin
  • [Ur] my 2nd day on UR .... chomping my way through Ur/Web tutorial ....   Gergely Buday
  • [Ur] my 2nd day on UR .... chomping my way through Ur/Web tutorial ....   Adam Chlipala
• [Ur] 3rd day on Ur tutorial   Vasili I. Galchin
  • [Ur] 3rd day on Ur tutorial   Gergely Buday
  • [Ur] 3rd day on Ur tutorial   Adam Chlipala
    • [Ur] 3rd day on Ur tutorial   Gian Perrone
      • [Ur] 3rd day on Ur tutorial   Adam Chlipala
• [Ur] "doxygen"   Vasili I. Galchin
  • [Ur] "doxygen"   Adam Chlipala
• [Ur] 4th day on working on "demo"   Vasili I. Galchin
  • [Ur] 4th day on working on "demo"   Marc Weber
  • [Ur] 4th day on working on "demo"   Adam Chlipala
• [Ur] maybe I missed something regarding .urp files   Vasili I. Galchin
  • [Ur] maybe I missed something regarding .urp files   Adam Chlipala
• [Ur] PATCH: -version flags for urweb compiler   austin seipp
  • [Ur] PATCH: -version flags for urweb compiler   austin seipp
• [Ur] Ur and full dependent types system   Alexander Gryzlov
  • [Ur] Ur and full dependent types system   Adam Chlipala
• [Ur] Ur/Web talk at Hac Phi   austin seipp

Last message date: Sun Jul 31 18:32:04 EDT 2011
Archived on: Sun Jul 31 18:32:23 EDT 2011

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