December 2010 Archives by subject

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

Starting: Wed Dec 1 00:31:04 EST 2010
Ending: Wed Dec 22 09:39:38 EST 2010
Messages: 200

• [Ur] --- operator   Marc Weber
• [Ur] --- operator   Adam Chlipala
• [Ur] Anyone up for some paid work?   Adam Chlipala
• [Ur] CMS like features ? unsafe XML - encodings?   Marc Weber
• [Ur] CMS like features ? unsafe XML - encodings?   Adam Chlipala
• [Ur] CMS like features ? unsafe XML - encodings?   Adam Chlipala
• [Ur] CMS like features ? unsafe XML - encodings?   Marc Weber
• [Ur] CMS like features ? unsafe XML - encodings?   Chris Double
• [Ur] CMS like features ? unsafe XML - encodings?   Adam Chlipala
• [Ur] CMS like features ? unsafe XML - encodings?   Chris Double
• [Ur] CMS like features ? unsafe XML - encodings?   Marc Weber
• [Ur] CMS like features ? unsafe XML - encodings?   Chris Double
• [Ur] CMS like features ? unsafe XML - encodings?   Adam Chlipala
• [Ur] CMS like features ? unsafe XML - encodings?   Adam Chlipala
• [Ur] Could we prevent most segmentation faults caused by stack overflows this way?   Marc Weber
• [Ur] Could we prevent most segmentation faults caused by stack overflows this way?   Karn Kallio
• [Ur] Could we prevent most segmentation faults caused by stack overflows this way?   Adam Chlipala
• [Ur] creating tags for sml code? - do you know a better way then augmenting the ocaml parser of exuberant ctags with some sml specific regexes?   Marc Weber
• [Ur] Documentation & codes   Davor Ocelic
• [Ur] Documentation & codes   Marc Weber
• [Ur] Documentation & codes   Karn Kallio
• [Ur] Documentation & codes   Adam Chlipala
• [Ur] Documentation & codes   Marc Weber
• [Ur] Documentation & codes   Davor Ocelic
• [Ur] Documentation & codes   Marc Weber
• [Ur] Documentation & codes   Davor Ocelic
• [Ur] Documentation & codes   Marc Weber
• [Ur] Documentation & codes   Adam Chlipala
• [Ur] Generalizing transactions   Marc Weber
• [Ur] Generalizing transactions   Karn Kallio
• [Ur] Generalizing transactions   Adam Chlipala
• [Ur] Generalizing transactions   Marc Weber
• [Ur] Generalizing transactions   Adam Chlipala
• [Ur] Generalizing transactions   Marc Weber
• [Ur] Generalizing transactions   Adam Chlipala
• [Ur] Generalizing transactions   Karn Kallio
• [Ur] Generalizing transactions   Adam Chlipala
• [Ur] Handling POST requests that aren't from forms   Chris Double
• [Ur] Handling POST requests that aren't from forms   Adam Chlipala
• [Ur] Handling POST requests that aren't from forms   Chris Double
• [Ur] Handling POST requests that aren't from forms   Adam Chlipala
• [Ur] Handling POST requests that aren't from forms   Chris Double
• [Ur] Handling POST requests that aren't from forms   Adam Chlipala
• [Ur] Handling POST requests that aren't from forms   Marc Weber
• [Ur] Handling POST requests that aren't from forms   Chris Double
• [Ur] Handling POST requests that aren't from forms   Chris Double
• [Ur] Handling POST requests that aren't from forms   Adam Chlipala
• [Ur] Handling POST requests that aren't from forms   Marc Weber
• [Ur] How to design JSON interface?   Marc Weber
• [Ur] How to design JSON interface?   Adam Chlipala
• [Ur] How to design JSON interface?   Marc Weber
• [Ur] How to design JSON interface?   Adam Chlipala
• [Ur] How to design JSON interface?   Marc Weber
• [Ur] How to design JSON interface?   Adam Chlipala
• [Ur] How to design JSON interface?   Adam Chlipala
• [Ur] How to design JSON interface?   Marc Weber
• [Ur] How to design JSON interface?   Adam Chlipala
• [Ur] How to design JSON interface?   Marc Weber
• [Ur] How to design JSON interface?   Adam Chlipala
• [Ur] How to implement top-level id function f a = a ?   Marc Weber
• [Ur] How to implement top-level id function f a = a ?   Adam Chlipala
• [Ur] How to implement top-level id function f a = a ?   Marc Weber
• [Ur] How to implement top-level id function f a = a ?   Adam Chlipala
• [Ur] Howto make urweb generate invalid XHTML code?   Marc Weber
• [Ur] Howto make urweb generate invalid XHTML code?   Marc Weber
• [Ur] Howto make urweb generate invalid XHTML code?   Adam Chlipala
• [Ur] Howto make urweb generate invalid XHTML code?   Marc Weber
• [Ur] howto register cleanup which is neither uw_malloc nor transactional?   Adam Chlipala
• [Ur] howto register cleanup which is neither uw_malloc nor transactional?   Adam Chlipala
• [Ur] howto register cleanup which is neither uw_malloc nor transactional?   Adam Chlipala
• [Ur] howto register cleanup which is neither uw_malloc nor transactional?   Adam Chlipala
• [Ur] howto register cleanup which is neither uw_malloc nor transactional?   Marc Weber
• [Ur] howto register cleanup which is neither uw_malloc nor transactional?   Marc Weber
• [Ur] Incompatible kinds   Karn Kallio
• [Ur] Incompatible kinds   Adam Chlipala
• [Ur] Incompatible kinds   Karn Kallio
• [Ur] Incompatible kinds   Adam Chlipala
• [Ur] info page containing sensor information ?   Marc Weber
• [Ur] info page containing sensor information ?   Adam Chlipala
• [Ur] interfacing with ruby   Marc Weber
• [Ur] interfacing with ruby   Adam Chlipala
• [Ur] interfacing with ruby   Marc Weber
• [Ur] interfacing with ruby   Adam Chlipala
• [Ur] interfacing with ruby   Marc Weber
• [Ur] interfacing with ruby   Adam Chlipala
• [Ur] Javascript toolkit integration   Davor Ocelic
• [Ur] Javascript toolkit integration   Adam Chlipala
• [Ur] Javascript toolkit integration   Davor Ocelic
• [Ur] Javascript toolkit integration   Adam Chlipala
• [Ur] Javascript toolkit integration   Karn Kallio
• [Ur] Javascript toolkit integration   Adam Chlipala
• [Ur] json implementation - need some help understanding what's happening here?   Marc Weber
• [Ur] json implementation - need some help understanding what's happening here?   Marc Weber
• [Ur] json implementation - need some help understanding what's happening here?   Adam Chlipala
• [Ur] left join on same table?   Marc Weber
• [Ur] left join on same table?   Adam Chlipala
• [Ur] left join on same table?   Adam Chlipala
• [Ur] left join on same table?   Marc Weber
• [Ur] little benchmark on querying a table only   Marc Weber
• [Ur] little benchmark on querying a table only   Gian Perrone
• [Ur] little benchmark on querying a table only   Marc Weber
• [Ur] little benchmark on querying a table only   Gian Perrone
• [Ur] little benchmark on querying a table only   Marc Weber
• [Ur] little benchmark on querying a table only   Chris Double
• [Ur] little benchmark on querying a table only   Chris Double
• [Ur] little benchmark on querying a table only   Adam Chlipala
• [Ur] little benchmark on querying a table only   Marc Weber
• [Ur] little benchmark on querying a table only   Marc Weber
• [Ur] little benchmark on querying a table only   Marc Weber
• [Ur] little benchmark on querying a table only   Gian Perrone
• [Ur] little benchmark on querying a table only   Adam Chlipala
• [Ur] little benchmark on querying a table only   Adam Chlipala
• [Ur] missunderstanding - or serious memory handling issue?   Marc Weber
• [Ur] missunderstanding - or serious memory handling issue?   Adam Chlipala
• [Ur] missunderstanding - or serious memory handling issue?   Marc Weber
• [Ur] missunderstanding - or serious memory handling issue?   Adam Chlipala
• [Ur] missunderstanding - or serious memory handling issue?   Marc Weber
• [Ur] missunderstanding - or serious memory handling issue?   Adam Chlipala
• [Ur] missunderstanding - or serious memory handling issue?   Marc Weber
• [Ur] missunderstanding - or serious memory handling issue?   Adam Chlipala
• [Ur] More questions   Marc Weber
• [Ur] More questions   Adam Chlipala
• [Ur] More questions   Marc Weber
• [Ur] More questions   Adam Chlipala
• [Ur] More questions   Marc Weber
• [Ur] More questions   Gian Perrone
• [Ur] More questions   Davor Ocelic
• [Ur] New library repositories   Adam Chlipala
• [Ur] NEW USER NEED HELP WITH INSTALLATION   Karn Kallio
• [Ur] NEW USER NEED HELP WITH INSTALLATION   Marc Weber
• No subject  
• [Ur] Record subtype constraint   Karn Kallio
• [Ur] Record subtype constraint   Adam Chlipala
• [Ur] Record subtype constraint   Karn Kallio
• [Ur] sanity checking   Karn Kallio
• [Ur] sanity checking   Adam Chlipala
• [Ur] sanity checking   Marc Weber
• [Ur] sanity checking   Marc Weber
• [Ur] sanity checking   Karn Kallio
• [Ur] sanity checking   Adam Chlipala
• [Ur] sanity checking   Adam Chlipala
• [Ur] sanity checking   Karn Kallio
• [Ur] sanity checking   Adam Chlipala
• [Ur] segmentation fault when inserting 10000 instead of 1000 rows?   Marc Weber
• [Ur] segmentation fault when inserting 10000 instead of 1000 rows?   Marc Weber
• [Ur] segmentation fault when inserting 10000 instead of 1000 rows?   Marc Weber
• [Ur] segmentation fault when inserting 10000 instead of 1000 rows?   Adam Chlipala
• [Ur] Server threads?   Chris Double
• [Ur] Server threads?   Adam Chlipala
• [Ur] Server threads?   Chris Double
• [Ur] Server threads?   Marc Weber
• [Ur] Server threads?   Adam Chlipala
• [Ur] Server threads?   Chris Double
• [Ur] simple example about constructing rects - guarded types?   Marc Weber
• [Ur] simple example about constructing rects - guarded types?   Adam Chlipala
• [Ur] simple example about constructing rects - guarded types?   Marc Weber
• [Ur] simple example about constructing rects - guarded types?   Adam Chlipala
• [Ur] simple example about constructing rects - guarded types?   Marc Weber
• [Ur] simple example about constructing rects - guarded types?   Adam Chlipala
• [Ur] simple example about constructing rects - guarded types?   Adam Chlipala
• [Ur] SQL error using sqlite   Chris Double
• [Ur] SQL error using sqlite   Marc Weber
• [Ur] SQL error using sqlite   Adam Chlipala
• [Ur] SQL error using sqlite   Marc Weber
• [Ur] SQL error using sqlite   Adam Chlipala
• [Ur] Strategy - UrWeb Backend   Stephane Le Dorze
• [Ur] Strategy - UrWeb Backend   Adam Chlipala
• [Ur] Strategy - UrWeb Backend   Marc Weber
• [Ur] Strategy - UrWeb Backend   Adam Chlipala
• [Ur] Strategy - UrWeb Backend   Gian Perrone
• [Ur] Strategy - UrWeb Backend   Marc Weber
• [Ur] Strategy - UrWeb Backend   Adam Chlipala
• [Ur] Strategy - UrWeb Backend   Marc Weber
• [Ur] Strategy - UrWeb Backend   Karn Kallio
• [Ur] Ur - Shell account request   sampath kirupa shankar
• [Ur] urweb-library playground - and question about how to complete implemention of "enum" like class   Marc Weber
• [Ur] urweb-library playground - and question about how to complete implemention of "enum" like class   Marc Weber
• [Ur] urweb-library playground - and question about how to complete implemention of "enum" like class   Adam Chlipala
• [Ur] Using Ur/Web to create standalone JS applications   Vag Vagoff
• [Ur] Using Ur/Web to create standalone JS applications   Marc Weber
• [Ur] Using Ur/Web to create standalone JS applications   Adam Chlipala
• [Ur] Using Ur/Web to create standalone JS applications   Vag Vagoff
• [Ur] Using Ur/Web to create standalone JS applications   Adam Chlipala
• [Ur] Using Ur/Web to create standalone JS applications   Vag Vagoff
• [Ur] Using Ur/Web to create standalone JS applications   Marc Weber
• [Ur] Using Ur/Web to create standalone JS applications   Vag Vagoff
• [Ur] Using Ur/Web to create standalone JS applications   Adam Chlipala
• [Ur] Using Ur/Web to create standalone JS applications   Vag Vagoff
• [Ur] Using Ur/Web to create standalone JS applications   Adam Chlipala
• [Ur] Using Ur/Web to create standalone JS applications   Karn Kallio
• [Ur] Using Ur/Web to create standalone JS applications   Marc Weber
• [Ur] Using Ur/Web to create standalone JS applications   Adam Chlipala
• [Ur] Vim plugin   Davor Ocelic
• [Ur] Vim plugin   Marc Weber
• [Ur] Vim plugin   Davor Ocelic
• [Ur] Vim plugin   Marc Weber
• [Ur] what about adding short documentation to core library (.urs files)   Marc Weber
• [Ur] what about adding short documentation to core library (.urs files)   Adam Chlipala
• [Ur] Wiki: Polymorphic_Variants_Usage_Example   Marc Weber
• [Ur] Wiki: Polymorphic_Variants_Usage_Example   Adam Chlipala

Last message date: Wed Dec 22 09:39:38 EST 2010
Archived on: Wed Dec 22 09:40:00 EST 2010

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