ur  

Messages by Date

• 2010/12/19 Re: [Ur] little benchmark on querying a table only Marc Weber
• 2010/12/19 Re: [Ur] little benchmark on querying a table only Gian Perrone
• 2010/12/19 Re: [Ur] segmentation fault when inserting 10000 instead of 1000 rows? Marc Weber
• 2010/12/19 [Ur] segmentation fault when inserting 10000 instead of 1000 rows? Marc Weber
• 2010/12/19 [Ur] little benchmark on querying a table only Marc Weber
• 2010/12/19 Re: [Ur] CMS like features ? unsafe XML - encodings? Chris Double
• 2010/12/19 Re: [Ur] CMS like features ? unsafe XML - encodings? Marc Weber
• 2010/12/19 Re: [Ur] CMS like features ? unsafe XML - encodings? Chris Double
• 2010/12/19 [Ur] simple example about constructing rects - guarded types? Marc Weber
• 2010/12/19 Re: [Ur] CMS like features ? unsafe XML - encodings? Adam Chlipala
• 2010/12/18 Re: [Ur] Wiki: Polymorphic_Variants_Usage_Example Adam Chlipala
• 2010/12/17 [Ur] Wiki: Polymorphic_Variants_Usage_Example Marc Weber
• 2010/12/17 Re: [Ur] Server threads? Chris Double
• 2010/12/17 Re: [Ur] Server threads? Adam Chlipala
• 2010/12/17 Re: [Ur] Server threads? Marc Weber
• 2010/12/17 Re: [Ur] Server threads? Chris Double
• 2010/12/17 Re: [Ur] Server threads? Adam Chlipala
• 2010/12/17 [Ur] Server threads? Chris Double
• 2010/12/16 Re: [Ur] How to implement top-level id function f a = a ? Adam Chlipala
• 2010/12/16 Re: [Ur] How to implement top-level id function f a = a ? Marc Weber
• 2010/12/16 Re: [Ur] How to implement top-level id function f a = a ? Adam Chlipala
• 2010/12/16 [Ur] How to implement top-level id function f a = a ? Marc Weber
• 2010/12/16 Re: [Ur] SQL error using sqlite Adam Chlipala
• 2010/12/16 Re: [Ur] SQL error using sqlite Marc Weber
• 2010/12/16 Re: [Ur] Handling POST requests that aren't from forms Marc Weber
• 2010/12/16 Re: [Ur] Handling POST requests that aren't from forms Adam Chlipala
• 2010/12/16 Re: [Ur] SQL error using sqlite Adam Chlipala
• 2010/12/15 Re: [Ur] SQL error using sqlite Marc Weber
• 2010/12/15 [Ur] SQL error using sqlite Chris Double
• 2010/12/15 Re: [Ur] Handling POST requests that aren't from forms Chris Double
• 2010/12/15 Re: [Ur] Handling POST requests that aren't from forms Chris Double
• 2010/12/15 Re: [Ur] Handling POST requests that aren't from forms Marc Weber
• 2010/12/15 Re: [Ur] CMS like features ? unsafe XML - encodings? Marc Weber
• 2010/12/15 Re: [Ur] Handling POST requests that aren't from forms Adam Chlipala
• 2010/12/15 Re: [Ur] Handling POST requests that aren't from forms Chris Double
• 2010/12/15 Re: [Ur] CMS like features ? unsafe XML - encodings? Adam Chlipala
• 2010/12/15 Re: [Ur] CMS like features ? unsafe XML - encodings? Adam Chlipala
• 2010/12/15 Re: [Ur] Handling POST requests that aren't from forms Adam Chlipala
• 2010/12/15 Re: [Ur] Handling POST requests that aren't from forms Chris Double
• 2010/12/15 Re: [Ur] Handling POST requests that aren't from forms Adam Chlipala
• 2010/12/15 [Ur] Handling POST requests that aren't from forms Chris Double
• 2010/12/14 [Ur] CMS like features ? unsafe XML - encodings? Marc Weber
• 2010/12/14 Re: [Ur] json implementation - need some help understanding what's happening here? Adam Chlipala
• 2010/12/14 Re: [Ur] json implementation - need some help understanding what's happening here? Marc Weber
• 2010/12/14 [Ur] json implementation - need some help understanding what's happening here? Marc Weber
• 2010/12/14 [Ur] New library repositories Adam Chlipala
• 2010/12/14 Re: [Ur] sanity checking Adam Chlipala
• 2010/12/13 Re: [Ur] sanity checking Karn Kallio
• 2010/12/13 Re: [Ur] --- operator Adam Chlipala
• 2010/12/13 Re: [Ur] sanity checking Adam Chlipala
• 2010/12/13 [Ur] --- operator Marc Weber
• 2010/12/13 Re: [Ur] sanity checking Adam Chlipala
• 2010/12/13 Re: [Ur] More questions Davor Ocelic
• 2010/12/12 Re: [Ur] More questions Gian Perrone
• 2010/12/12 Re: [Ur] sanity checking Karn Kallio
• 2010/12/12 Re: [Ur] sanity checking Marc Weber
• 2010/12/12 Re: [Ur] sanity checking Marc Weber
• 2010/12/12 Re: [Ur] More questions Marc Weber
• 2010/12/12 Re: [Ur] sanity checking Adam Chlipala
• 2010/12/12 [Ur] sanity checking Karn Kallio
• 2010/12/12 Re: [Ur] what about adding short documentation to core library (.urs files) Adam Chlipala
• 2010/12/12 Re: [Ur] More questions Adam Chlipala
• 2010/12/12 [Ur] what about adding short documentation to core library (.urs files) Marc Weber
• 2010/12/12 Re: [Ur] More questions Marc Weber
• 2010/12/12 Re: [Ur] More questions Adam Chlipala
• 2010/12/12 [Ur] More questions Marc Weber
• 2010/12/12 Re: [Ur] Using Ur/Web to create standalone JS applications Adam Chlipala
• 2010/12/12 Re: [Ur] Using Ur/Web to create standalone JS applications Marc Weber
• 2010/12/12 Re: [Ur] Using Ur/Web to create standalone JS applications Karn Kallio
• 2010/12/12 Re: [Ur] Using Ur/Web to create standalone JS applications Adam Chlipala
• 2010/12/12 Re: [Ur] Using Ur/Web to create standalone JS applications Vag Vagoff
• 2010/12/12 Re: [Ur] Using Ur/Web to create standalone JS applications Adam Chlipala
• 2010/12/12 Re: [Ur] Using Ur/Web to create standalone JS applications Vag Vagoff
• 2010/12/12 Re: [Ur] Using Ur/Web to create standalone JS applications Marc Weber
• 2010/12/12 Re: [Ur] Using Ur/Web to create standalone JS applications Vag Vagoff
• 2010/12/12 Re: [Ur] Using Ur/Web to create standalone JS applications Adam Chlipala
• 2010/12/12 Re: [Ur] Using Ur/Web to create standalone JS applications Vag Vagoff
• 2010/12/11 Re: [Ur] left join on same table? Marc Weber
• 2010/12/11 Re: [Ur] Howto make urweb generate invalid XHTML code? Marc Weber
• 2010/12/11 Re: [Ur] urweb-library playground - and question about how to complete implemention of "enum" like class Marc Weber
• 2010/12/11 Re: [Ur] left join on same table? Adam Chlipala
• 2010/12/11 Re: [Ur] left join on same table? Adam Chlipala
• 2010/12/11 Re: [Ur] Howto make urweb generate invalid XHTML code? Adam Chlipala
• 2010/12/11 [Ur] left join on same table? Marc Weber
• 2010/12/11 Re: [Ur] urweb-library playground - and question about how to complete implemention of "enum" like class Adam Chlipala
• 2010/12/11 Re: [Ur] Using Ur/Web to create standalone JS applications Adam Chlipala
• 2010/12/11 Re: [Ur] Howto make urweb generate invalid XHTML code? Marc Weber
• 2010/12/11 [Ur] Howto make urweb generate invalid XHTML code? Marc Weber
• 2010/12/11 [Ur] urweb-library playground - and question about how to complete implemention of "enum" like class Marc Weber
• 2010/12/11 Re: [Ur] Using Ur/Web to create standalone JS applications Marc Weber
• 2010/12/11 [Ur] Using Ur/Web to create standalone JS applications Vag Vagoff
• 2010/12/11 Re: [Ur] Javascript toolkit integration Adam Chlipala
• 2010/12/11 Re: [Ur] Javascript toolkit integration Karn Kallio
• 2010/12/11 Re: [Ur] Javascript toolkit integration Adam Chlipala
• 2010/12/11 Re: [Ur] Javascript toolkit integration Davor Ocelic
• 2010/12/11 Re: [Ur] Javascript toolkit integration Adam Chlipala
• 2010/12/11 [Ur] Javascript toolkit integration Davor Ocelic
• 2010/12/08 Re: [Ur] Documentation & codes Adam Chlipala
• 2010/12/08 Re: [Ur] Vim plugin Marc Weber
• 2010/12/08 Re: [Ur] Vim plugin Davor Ocelic
• 2010/12/08 Re: [Ur] Vim plugin Marc Weber
• 2010/12/08 Re: [Ur] Documentation & codes Marc Weber
• 2010/12/08 [Ur] Vim plugin Davor Ocelic
• 2010/12/08 Re: [Ur] Documentation & codes Davor Ocelic
• 2010/12/08 Re: [Ur] Documentation & codes Marc Weber
• 2010/12/08 Re: [Ur] Documentation & codes Davor Ocelic
• 2010/12/08 Re: [Ur] Documentation & codes Marc Weber
• 2010/12/08 Re: [Ur] interfacing with ruby Adam Chlipala
• 2010/12/08 Re: [Ur] Documentation & codes Adam Chlipala
• 2010/12/08 Re: [Ur] interfacing with ruby Marc Weber
• 2010/12/08 Re: [Ur] Documentation & codes Karn Kallio
• 2010/12/08 Re: [Ur] interfacing with ruby Adam Chlipala
• 2010/12/08 Re: [Ur] missunderstanding - or serious memory handling issue? Adam Chlipala
• 2010/12/08 Re: [Ur] interfacing with ruby Marc Weber
• 2010/12/08 Re: [Ur] missunderstanding - or serious memory handling issue? Marc Weber
• 2010/12/08 Re: [Ur] interfacing with ruby Adam Chlipala
• 2010/12/08 Re: [Ur] missunderstanding - or serious memory handling issue? Adam Chlipala
• 2010/12/08 [Ur] interfacing with ruby Marc Weber
• 2010/12/08 Re: [Ur] Documentation & codes Marc Weber
• 2010/12/08 [Ur] Documentation & codes Davor Ocelic
• 2010/12/07 Re: [Ur] missunderstanding - or serious memory handling issue? Marc Weber
• 2010/12/07 Re: [Ur] Strategy - UrWeb Backend Karn Kallio
• 2010/12/07 Re: [Ur] Record subtype constraint Karn Kallio
• 2010/12/07 Re: [Ur] Strategy - UrWeb Backend Marc Weber
• 2010/12/07 Re: [Ur] missunderstanding - or serious memory handling issue? Adam Chlipala
• 2010/12/07 Re: [Ur] missunderstanding - or serious memory handling issue? Marc Weber
• 2010/12/07 Re: [Ur] missunderstanding - or serious memory handling issue? Adam Chlipala
• 2010/12/07 Re: [Ur] Strategy - UrWeb Backend Adam Chlipala
• 2010/12/07 [Ur] missunderstanding - or serious memory handling issue? Marc Weber
• 2010/12/07 Re: [Ur] Strategy - UrWeb Backend Marc Weber
• 2010/12/07 Re: [Ur] Strategy - UrWeb Backend Gian Perrone
• 2010/12/07 Re: [Ur] Strategy - UrWeb Backend Adam Chlipala
• 2010/12/07 Re: [Ur] Strategy - UrWeb Backend Marc Weber
• 2010/12/07 Re: [Ur] Strategy - UrWeb Backend Adam Chlipala
• 2010/12/07 [Ur] Strategy - UrWeb Backend Stephane Le Dorze
• 2010/12/07 Re: [Ur] Record subtype constraint Adam Chlipala
• 2010/12/07 [Ur] Record subtype constraint Karn Kallio
• 2010/12/06 Re: [Ur] Generalizing transactions Adam Chlipala
• 2010/12/04 Re: [Ur] Generalizing transactions Karn Kallio
• 2010/12/04 Re: [Ur] howto register cleanup which is neither uw_malloc nor transactional? Adam Chlipala
• 2010/12/04 Re: [Ur] howto register cleanup which is neither uw_malloc nor transactional? Marc Weber
• 2010/12/04 Re: [Ur] howto register cleanup which is neither uw_malloc nor transactional? Adam Chlipala
• 2010/12/04 Re: [Ur] Generalizing transactions Adam Chlipala
• 2010/12/04 Re: [Ur] howto register cleanup which is neither uw_malloc nor transactional? Adam Chlipala
• 2010/12/04 Re: [Ur] howto register cleanup which is neither uw_malloc nor transactional? Adam Chlipala
• 2010/12/04 Re: [Ur] info page containing sensor information ? Adam Chlipala
• 2010/12/04 Re: [Ur] How to design JSON interface? Adam Chlipala
• 2010/12/04 [Ur] howto register cleanup which is neither uw_malloc nor transactional? Marc Weber
• 2010/12/03 [Ur] info page containing sensor information ? Marc Weber
• 2010/12/02 Re: [Ur] Incompatible kinds Adam Chlipala
• 2010/12/02 Re: [Ur] Incompatible kinds Karn Kallio
• 2010/12/02 Re: [Ur] How to design JSON interface? Marc Weber
• 2010/12/02 Re: [Ur] How to design JSON interface? Adam Chlipala
• 2010/12/02 Re: [Ur] How to design JSON interface? Marc Weber
• 2010/12/02 Re: [Ur] How to design JSON interface? Adam Chlipala
• 2010/12/02 Re: [Ur] How to design JSON interface? Adam Chlipala
• 2010/12/02 Re: [Ur] Incompatible kinds Adam Chlipala
• 2010/12/02 [Ur] Incompatible kinds Karn Kallio
• 2010/12/01 [Ur] Ur - Shell account request sampath kirupa shankar
• 2010/12/01 Re: [Ur] How to design JSON interface? Marc Weber
• 2010/12/01 Re: [Ur] Generalizing transactions Marc Weber
• 2010/12/01 Re: [Ur] How to design JSON interface? Adam Chlipala
• 2010/12/01 Re: [Ur] How to design JSON interface? Marc Weber
• 2010/12/01 Re: [Ur] Generalizing transactions Adam Chlipala
• 2010/12/01 Re: [Ur] Generalizing transactions Marc Weber
• 2010/12/01 Re: [Ur] Generalizing transactions Adam Chlipala
• 2010/12/01 Re: [Ur] How to design JSON interface? Adam Chlipala
• 2010/12/01 Re: [Ur] Generalizing transactions Karn Kallio
• 2010/12/01 Re: [Ur] NEW USER NEED HELP WITH INSTALLATION Marc Weber
• 2010/12/01 [Ur] How to design JSON interface? Marc Weber
• 2010/12/01 Re: [Ur] Generalizing transactions Marc Weber
• 2010/11/30 Re: [Ur] NEW USER NEED HELP WITH INSTALLATION Karn Kallio
• 2010/11/30 Re: [Ur] NEW USER NEED HELP WITH INSTALLATION Gian Perrone
• 2010/11/30 [Ur] NEW USER NEED HELP WITH INSTALLATION sampath kirupa shankar
• 2010/11/30 [Ur] Generalizing transactions Karn Kallio
• 2010/11/30 Re: [Ur] interfacing with C or other languages - example system Adam Chlipala
• 2010/11/30 Re: [Ur] interfacing with C or other languages - example system Marc Weber
• 2010/11/29 Re: [Ur] interfacing with C or other languages - example system Adam Chlipala
• 2010/11/29 Re: [Ur] interfacing with C or other languages - example system Marc Weber
• 2010/11/29 Re: [Ur] interfacing with C or other languages - example system Adam Chlipala
• 2010/11/28 Re: [Ur] interfacing with C or other languages - example system Marc Weber
• 2010/11/28 Re: [Ur] interfacing with C or other languages - example system Adam Chlipala
• 2010/11/28 Re: [Ur] interfacing with C or other languages - example system Marc Weber
• 2010/11/28 Re: [Ur] interfacing with C or other languages - example system Adam Chlipala
• 2010/11/27 Re: [Ur] interfacing with C or other languages - example system Marc Weber
• 2010/11/27 Re: [Ur] interfacing with C or other languages - how to pass more complex types? Adam Chlipala
• 2010/11/27 [Ur] interfacing with C or other languages - how to pass more complex types? Marc Weber
• 2010/11/18 Re: [Ur] new list of companies / freelancers supporting urweb in the future Marc Weber
• 2010/11/18 Re: [Ur] new list of companies / freelancers supporting urweb in the future Adam Chlipala
• 2010/11/18 Re: [Ur] [PATCH] Static link to libmhash when -static parameter given Adam Chlipala
• 2010/11/18 [Ur] new list of companies / freelancers supporting urweb in the future Marc Weber
• 2010/11/15 [Ur] [PATCH] Static link to libmhash when -static parameter given Karn Kallio
• 2010/11/08 Re: [Ur] Some more questions: Marc Weber
• 2010/11/08 Re: [Ur] Some more questions: Adam Chlipala
• 2010/11/07 Re: [Ur] Some more questions: Marc Weber
• 2010/11/05 Re: [Ur] Some more questions: Adam Chlipala
• 2010/11/05 [Ur] Some more questions: Marc Weber
• 2010/11/05 Re: [Ur] howto serve arbitrary files (PDF/ icons), and more Marc Weber
• 2010/11/05 Re: [Ur] howto serve arbitrary files (PDF/ icons), and more Adam Chlipala
• 2010/11/05 [Ur] howto serve arbitrary files (PDF/ icons), and more Marc Weber

• Earlier messages
• Later messages