ur  

Messages by Thread

• • Re: [Ur] what about adding short documentation to core library (.urs files) Adam Chlipala
• [Ur] More questions Marc Weber
  • Re: [Ur] More questions Adam Chlipala
  • Re: [Ur] More questions Marc Weber
  • Re: [Ur] More questions Adam Chlipala
  • Re: [Ur] More questions Marc Weber
  • Re: [Ur] More questions Gian Perrone
  • Re: [Ur] More questions Davor Ocelic
• [Ur] left join on same table? Marc Weber
  • Re: [Ur] left join on same table? Adam Chlipala
  • Re: [Ur] left join on same table? Adam Chlipala
  • Re: [Ur] left join on same table? Marc Weber
• [Ur] Howto make urweb generate invalid XHTML code? Marc Weber
  • Re: [Ur] Howto make urweb generate invalid XHTML code? Marc Weber
  • Re: [Ur] Howto make urweb generate invalid XHTML code? Adam Chlipala
  • Re: [Ur] Howto make urweb generate invalid XHTML code? Marc Weber
• [Ur] Using Ur/Web to create standalone JS applications Vag Vagoff
  • Re: [Ur] Using Ur/Web to create standalone JS applications Marc Weber
  • Re: [Ur] Using Ur/Web to create standalone JS applications Adam Chlipala
  • Re: [Ur] Using Ur/Web to create standalone JS applications Vag Vagoff
  • Re: [Ur] Using Ur/Web to create standalone JS applications Adam Chlipala
  • Re: [Ur] Using Ur/Web to create standalone JS applications Vag Vagoff
  • Re: [Ur] Using Ur/Web to create standalone JS applications Marc Weber
  • Re: [Ur] Using Ur/Web to create standalone JS applications Vag Vagoff
  • Re: [Ur] Using Ur/Web to create standalone JS applications Adam Chlipala
  • Re: [Ur] Using Ur/Web to create standalone JS applications Vag Vagoff
  • Re: [Ur] Using Ur/Web to create standalone JS applications Adam Chlipala
  • Re: [Ur] Using Ur/Web to create standalone JS applications Karn Kallio
  • Re: [Ur] Using Ur/Web to create standalone JS applications Adam Chlipala
  • Re: [Ur] Using Ur/Web to create standalone JS applications Marc Weber
• [Ur] Javascript toolkit integration Davor Ocelic
  • Re: [Ur] Javascript toolkit integration Adam Chlipala
  • Re: [Ur] Javascript toolkit integration Davor Ocelic
  • Re: [Ur] Javascript toolkit integration Adam Chlipala
  • Re: [Ur] Javascript toolkit integration Karn Kallio
  • Re: [Ur] Javascript toolkit integration Adam Chlipala
• [Ur] Vim plugin Davor Ocelic
  • Re: [Ur] Vim plugin Marc Weber
  • Re: [Ur] Vim plugin Davor Ocelic
  • Re: [Ur] Vim plugin Marc Weber
• [Ur] Documentation & codes Davor Ocelic
  • Re: [Ur] Documentation & codes Marc Weber
  • [Ur] interfacing with ruby Marc Weber
  • Re: [Ur] interfacing with ruby Adam Chlipala
  • Re: [Ur] interfacing with ruby Marc Weber
  • Re: [Ur] interfacing with ruby Adam Chlipala
  • Re: [Ur] interfacing with ruby Marc Weber
  • Re: [Ur] interfacing with ruby Adam Chlipala
  • Re: [Ur] Documentation & codes Karn Kallio
  • Re: [Ur] Documentation & codes Adam Chlipala
  • Re: [Ur] Documentation & codes Marc Weber
  • Re: [Ur] Documentation & codes Davor Ocelic
  • Re: [Ur] Documentation & codes Marc Weber
  • Re: [Ur] Documentation & codes Davor Ocelic
  • Re: [Ur] Documentation & codes Marc Weber
  • Re: [Ur] Documentation & codes Adam Chlipala
  • [Ur] urweb-library playground - and question about how to complete implemention of "enum" like class Marc Weber
  • Re: [Ur] urweb-library playground - and question about how to complete implemention of "enum" like class Adam Chlipala
  • Re: [Ur] urweb-library playground - and question about how to complete implemention of "enum" like class Marc Weber
• [Ur] missunderstanding - or serious memory handling issue? Marc Weber
  • Re: [Ur] missunderstanding - or serious memory handling issue? Adam Chlipala
  • Re: [Ur] missunderstanding - or serious memory handling issue? Marc Weber
  • Re: [Ur] missunderstanding - or serious memory handling issue? Adam Chlipala
  • Re: [Ur] missunderstanding - or serious memory handling issue? Marc Weber
  • Re: [Ur] missunderstanding - or serious memory handling issue? Adam Chlipala
  • Re: [Ur] missunderstanding - or serious memory handling issue? Marc Weber
  • Re: [Ur] missunderstanding - or serious memory handling issue? Adam Chlipala
• [Ur] Strategy - UrWeb Backend Stephane Le Dorze
  • Re: [Ur] Strategy - UrWeb Backend Adam Chlipala
  • Re: [Ur] Strategy - UrWeb Backend Marc Weber
  • Re: [Ur] Strategy - UrWeb Backend Adam Chlipala
  • Re: [Ur] Strategy - UrWeb Backend Marc Weber
  • Re: [Ur] Strategy - UrWeb Backend Adam Chlipala
  • Re: [Ur] Strategy - UrWeb Backend Marc Weber
  • Re: [Ur] Strategy - UrWeb Backend Gian Perrone
  • Re: [Ur] Strategy - UrWeb Backend Karn Kallio
• [Ur] Record subtype constraint Karn Kallio
  • Re: [Ur] Record subtype constraint Adam Chlipala
  • Re: [Ur] Record subtype constraint Karn Kallio
• [Ur] howto register cleanup which is neither uw_malloc nor transactional? Marc Weber
  • Re: [Ur] howto register cleanup which is neither uw_malloc nor transactional? Adam Chlipala
  • Re: [Ur] howto register cleanup which is neither uw_malloc nor transactional? Adam Chlipala
  • Re: [Ur] howto register cleanup which is neither uw_malloc nor transactional? Adam Chlipala
  • Re: [Ur] howto register cleanup which is neither uw_malloc nor transactional? Marc Weber
  • Re: [Ur] howto register cleanup which is neither uw_malloc nor transactional? Adam Chlipala
• [Ur] info page containing sensor information ? Marc Weber
  • Re: [Ur] info page containing sensor information ? Adam Chlipala
• [Ur] Incompatible kinds Karn Kallio
  • Re: [Ur] Incompatible kinds Adam Chlipala
  • Re: [Ur] Incompatible kinds Karn Kallio
  • Re: [Ur] Incompatible kinds Adam Chlipala
• [Ur] How to design JSON interface? Marc Weber
  • Re: [Ur] How to design JSON interface? Adam Chlipala
  • Re: [Ur] How to design JSON interface? Marc Weber
  • Re: [Ur] How to design JSON interface? Adam Chlipala
  • Re: [Ur] How to design JSON interface? Marc Weber
  • Re: [Ur] How to design JSON interface? Adam Chlipala
  • Re: [Ur] How to design JSON interface? Adam Chlipala
  • Re: [Ur] How to design JSON interface? Marc Weber
  • Re: [Ur] How to design JSON interface? Adam Chlipala
  • Re: [Ur] How to design JSON interface? Marc Weber
  • Re: [Ur] How to design JSON interface? Adam Chlipala
• [Ur] NEW USER NEED HELP WITH INSTALLATION sampath kirupa shankar
  • Re: [Ur] NEW USER NEED HELP WITH INSTALLATION Gian Perrone
  • Re: [Ur] NEW USER NEED HELP WITH INSTALLATION Karn Kallio
  • Re: [Ur] NEW USER NEED HELP WITH INSTALLATION Marc Weber
  • [Ur] Ur - Shell account request sampath kirupa shankar
  • Re: [Ur] NEW USER NEED HELP WITH INSTALLATION sampath kirupa shankar
  • Re: [Ur] NEW USER NEED HELP WITH INSTALLATION Adam Chlipala
  • Re: [Ur] NEW USER NEED HELP WITH INSTALLATION Marc Weber
  • Re: [Ur] NEW USER NEED HELP WITH INSTALLATION sampath kirupa shankar
  • Re: [Ur] NEW USER NEED HELP WITH INSTALLATION Marc Weber
  • Re: [Ur] NEW USER NEED HELP WITH INSTALLATION Adam Chlipala
  • [Ur] Shell Account DB Access sampath kirupa shankar
  • Re: [Ur] Shell Account DB Access Gian Perrone
  • Re: [Ur] Shell Account DB Access sampath kirupa shankar
  • Re: [Ur] Shell Account DB Access Marc Weber
  • Re: [Ur] Shell Account DB Access Gergely Buday
• [Ur] interfacing with C or other languages - how to pass more complex types? Marc Weber
  • Re: [Ur] interfacing with C or other languages - how to pass more complex types? Adam Chlipala
  • Re: [Ur] interfacing with C or other languages - example system Marc Weber
  • Re: [Ur] interfacing with C or other languages - example system Adam Chlipala
  • Re: [Ur] interfacing with C or other languages - example system Marc Weber
  • Re: [Ur] interfacing with C or other languages - example system Adam Chlipala
  • Re: [Ur] interfacing with C or other languages - example system Marc Weber
  • Re: [Ur] interfacing with C or other languages - example system Adam Chlipala
  • Re: [Ur] interfacing with C or other languages - example system Marc Weber
  • Re: [Ur] interfacing with C or other languages - example system Adam Chlipala
  • Re: [Ur] interfacing with C or other languages - example system Marc Weber
  • Re: [Ur] interfacing with C or other languages - example system Adam Chlipala
  • [Ur] Generalizing transactions Karn Kallio
  • Re: [Ur] Generalizing transactions Marc Weber
  • Re: [Ur] Generalizing transactions Karn Kallio
  • Re: [Ur] Generalizing transactions Adam Chlipala
  • Re: [Ur] Generalizing transactions Marc Weber
  • Re: [Ur] Generalizing transactions Adam Chlipala
  • Re: [Ur] Generalizing transactions Marc Weber
  • Re: [Ur] Generalizing transactions Adam Chlipala
  • Re: [Ur] Generalizing transactions Karn Kallio
  • Re: [Ur] Generalizing transactions Adam Chlipala
• [Ur] new list of companies / freelancers supporting urweb in the future Marc Weber
  • Re: [Ur] new list of companies / freelancers supporting urweb in the future Adam Chlipala
  • Re: [Ur] new list of companies / freelancers supporting urweb in the future Marc Weber
• [Ur] [PATCH] Static link to libmhash when -static parameter given Karn Kallio
  • Re: [Ur] [PATCH] Static link to libmhash when -static parameter given Adam Chlipala
• [Ur] howto serve arbitrary files (PDF/ icons), and more Marc Weber
  • Re: [Ur] howto serve arbitrary files (PDF/ icons), and more Adam Chlipala
  • Re: [Ur] howto serve arbitrary files (PDF/ icons), and more Marc Weber
  • [Ur] Some more questions: Marc Weber
  • Re: [Ur] Some more questions: Adam Chlipala
  • Re: [Ur] Some more questions: Marc Weber
  • Re: [Ur] Some more questions: Adam Chlipala
  • Re: [Ur] Some more questions: Marc Weber
• [Ur] HTTP client requests Chris Double
  • Re: [Ur] HTTP client requests Marc Weber
  • Re: [Ur] HTTP client requests Adam Chlipala
• Re: [Ur] new user having some questions such as a:::Type twice? and more Karn Kallio
• [Ur] new user having some questions such as a:::Type twice? and more Marc Weber
  • Re: [Ur] new user having some questions such as a:::Type twice? and more Adam Chlipala
• [Ur] Recursive modules? Fredrik Roos
  • Re: [Ur] Recursive modules? Adam Chlipala
  • Re: [Ur] Recursive modules? Fredrik Roos
  • Re: [Ur] Recursive modules? Adam Chlipala
• [Ur] Ur/Web in Nixos Karn Kallio
  • Re: [Ur] Ur/Web in Nixos Adam Chlipala
• [Ur] Exceptions handling Vladimir Shabanov
  • Re: [Ur] Exceptions handling Adam Chlipala
  • Re: [Ur] Exceptions handling Vladimir Shabanov
  • Re: [Ur] Exceptions handling Adam Chlipala
  • Re: [Ur] Exceptions handling Vladimir Shabanov
  • Re: [Ur] Exceptions handling Adam Chlipala
  • Re: [Ur] Exceptions handling Vladimir Shabanov
  • Re: [Ur] Exceptions handling Adam Chlipala
  • Re: [Ur] Exceptions handling Vladimir Shabanov
  • Re: [Ur] Exceptions handling Adam Chlipala
  • Re: [Ur] Exceptions handling Vladimir Shabanov
  • Re: [Ur] Exceptions handling Adam Chlipala
  • Re: [Ur] Exceptions handling Vladimir Shabanov
  • Re: [Ur] Exceptions handling Adam Chlipala
  • Re: [Ur] Exceptions handling Vladimir Shabanov
  • Re: [Ur] Exceptions handling Adam Chlipala
  • Re: [Ur] Exceptions handling Leon Smith
  • Re: [Ur] Exceptions handling Gian Perrone
  • Re: [Ur] Exceptions handling Karn Kallio
  • Re: [Ur] Exceptions handling Adam Chlipala
• [Ur] Contract programming with Ur/Web? Adam Chlipala
• [Ur] urweb-mode speed issues Chris Casinghino
  • Re: [Ur] urweb-mode speed issues Adam Chlipala
• [Ur] config.status: error: cannot find input file: `config.h.in' Vladimir G. Ivanovic
  • Re: [Ur] config.status: error: cannot find input file: `config.h.in' Adam Chlipala
  • Re: [Ur] config.status: error: cannot find input file: `config.h.in' Vladimir G. Ivanovic
  • Re: [Ur] config.status: error: cannot find input file: `config.h.in' Adam Chlipala
• [Ur] scalable? chu
  • Re: [Ur] scalable? Adam Chlipala
  • Re: [Ur] scalable? Tom Hutchinson
  • Re: [Ur] scalable? Adam Chlipala
• [Ur] Ur/Web + SQLite on Debian Lenny Michael Stone
• [Ur] URL-decoding in -protocol fastcgi vs. -protocol http Michael Stone
  • Re: [Ur] URL-decoding in -protocol fastcgi vs. -protocol http Adam Chlipala
  • Re: [Ur] URL-decoding in -protocol fastcgi vs. -protocol http Michael Stone

• Earlier messages
• Later messages