July 2011 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ 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] hiccups with tutorial ...   Gergely Buday
• [Ur] my 2nd day on UR .... chomping my way through Ur/Web tutorial ....   Gergely Buday
• [Ur] 3rd day on Ur tutorial   Gergely Buday
• [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   Adam Chlipala
• [Ur] Beginning of Ur tutorial   Adam Chlipala
• [Ur] hiccups with tutorial ...   Adam Chlipala
• [Ur] my 2nd day on UR .... chomping my way through Ur/Web tutorial ....   Adam Chlipala
• [Ur] openid fails to build on OS X   Adam Chlipala
• [Ur] 3rd day on Ur tutorial   Adam Chlipala
• [Ur] 3rd day on Ur tutorial   Adam Chlipala
• [Ur] "doxygen"   Adam Chlipala
• [Ur] 4th day on working on "demo"   Adam Chlipala
• [Ur] maybe I missed something regarding .urp files   Adam Chlipala
• [Ur] Ur and full dependent types system   Adam Chlipala
• [Ur] hiccups with tutorial ...   Chris Double
• [Ur] hiccups with tutorial ...   Vasili I. Galchin
• [Ur] hiccups with tutorial ...   Vasili I. Galchin
• [Ur] my 2nd day on UR .... chomping my way through Ur/Web tutorial ....   Vasili I. Galchin
• [Ur] 3rd day on Ur tutorial   Vasili I. Galchin
• [Ur] "doxygen"   Vasili I. Galchin
• [Ur] 4th day on working on "demo"   Vasili I. Galchin
• [Ur] maybe I missed something regarding .urp files   Vasili I. Galchin
• [Ur] openid fails to build on OS X   Robin Green
• [Ur] Ur and full dependent types system   Alexander Gryzlov
• [Ur] hiccups with tutorial ...   Karn Kallio
• [Ur] 3rd day on Ur tutorial   Gian Perrone
• [Ur] 4th day on working on "demo"   Marc Weber
• [Ur] openid fails to build on OS X   austin seipp
• [Ur] Binary builds/formula of Ur/Web available for OS X & Homebrew users   austin seipp
• [Ur] openid fails to build on OS X   austin seipp
• [Ur] PATCH: -version flags for urweb compiler   austin seipp
• [Ur] PATCH: -version flags for urweb compiler   austin seipp
• [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: [ thread ] [ subject ] [ date ]
• More info on this list...