ur  

Messages by Date

• 2012/12/19 Re: [Ur] Several patches and questions Edward Z. Yang
• 2012/12/19 Re: [Ur] Several patches and questions Adam Chlipala
• 2012/12/19 Re: [Ur] Several patches and questions Edward Z. Yang
• 2012/11/30 Re: [Ur] Several patches and questions Adam Chlipala
• 2012/11/28 Re: [Ur] Several patches and questions Adam Chlipala
• 2012/11/28 Re: [Ur] Several patches and questions Chris Double
• 2012/11/28 Re: [Ur] Several patches and questions Austin Seipp
• 2012/11/28 Re: [Ur] Several patches and questions Adam Chlipala
• 2012/11/18 Re: [Ur] Several patches and questions Austin Seipp
• 2012/11/18 [Ur] Several patches and questions Austin Seipp
• 2012/11/11 Re: [Ur] Ur/Web packages for Debian Edward Z. Yang
• 2012/11/04 Re: [Ur] Ur/Web packages for Debian Adam Chlipala
• 2012/11/01 Re: [Ur] Ur/Web packages for Debian Edward Z. Yang
• 2012/11/01 Re: [Ur] Ur/Web packages for Debian Adam Chlipala
• 2012/10/31 Re: [Ur] Ur/Web packages for Debian Austin Seipp
• 2012/10/31 [Ur] Ur/Web packages for Debian Benjamin Barenblat
• 2012/10/21 Re: [Ur] Unification Problems Adam Chlipala
• 2012/10/21 Re: [Ur] Unification Problems David Snider
• 2012/10/21 Re: [Ur] Unification Problems Adam Chlipala
• 2012/10/21 Re: [Ur] Unification Problems David Snider
• 2012/10/21 Re: [Ur] Unification Problems Adam Chlipala
• 2012/10/21 Re: [Ur] Unification Problems David Snider
• 2012/10/21 Re: [Ur] Unification Problems Adam Chlipala
• 2012/10/21 [Ur] Unification Problems David Snider
• 2012/10/21 [Ur] Two new FFIs David Snider
• 2012/10/20 Re: [Ur] OpenSSL and C FFI David Snider
• 2012/10/20 Re: [Ur] OpenSSL and C FFI Adam Chlipala
• 2012/10/20 Re: [Ur] OpenSSL and C FFI David Snider
• 2012/10/20 Re: [Ur] OpenSSL and C FFI Adam Chlipala
• 2012/10/20 [Ur] OpenSSL and C FFI David Snider
• 2012/10/20 Re: [Ur] Why won't this compile? Adam Chlipala
• 2012/10/20 Re: [Ur] Why won't this compile? David Snider
• 2012/10/20 [Ur] Why won't this compile? David Snider
• 2012/10/18 Re: [Ur] Parsing xml fragments. Adam Chlipala
• 2012/10/16 Re: [Ur] Parsing xml fragments. Alexei Golovko
• 2012/10/12 Re: [Ur] Parsing xml fragments. Alexei Golovko
• 2012/10/12 Re: [Ur] Parsing xml fragments. Adam Chlipala
• 2012/10/12 Re: [Ur] Parsing xml fragments. Alexei Golovko
• 2012/10/11 Re: [Ur] Parsing xml fragments. Adam Chlipala
• 2012/10/11 [Ur] Parsing xml fragments. Alexei Golovko
• 2012/09/30 Re: [Ur] callbacks from the c ffi Adam Chlipala
• 2012/09/29 Re: [Ur] callbacks from the c ffi Greg Samsa
• 2012/09/28 Re: [Ur] callbacks from the c ffi Adam Chlipala
• 2012/09/27 Re: [Ur] callbacks from the c ffi Marc Weber
• 2012/09/27 [Ur] callbacks from the c ffi Greg Samsa
• 2012/09/25 [Ur] New release Adam Chlipala
• 2012/09/23 [Ur] PATCH: Fix compilation with Clang on OS X Austin Seipp
• 2012/09/19 Re: [Ur] Let inlining interfering with staging Edward Z. Yang
• 2012/09/19 Re: [Ur] json_variant/destrR in meta leaving behind anonymous functions Adam Chlipala
• 2012/09/19 Re: [Ur] Let inlining interfering with staging Adam Chlipala
• 2012/09/17 Re: [Ur] Don't repeat arguments to linker Edward Z. Yang
• 2012/09/16 [Ur] Don't repeat arguments to linker Edward Z. Yang
• 2012/09/16 [Ur] json_variant/destrR in meta leaving behind anonymous functions Edward Z. Yang
• 2012/09/16 [Ur] Let inlining interfering with staging Edward Z. Yang
• 2012/08/08 Re: [Ur] Sessions Adam Chlipala
• 2012/08/07 [Ur] Sessions Edward Z. Yang
• 2012/08/07 [Ur] New release Adam Chlipala
• 2012/08/05 [Ur] Impending Ur/Web release Adam Chlipala
• 2012/08/02 Re: [Ur] Request environment variables Adam Chlipala
• 2012/07/30 Re: [Ur] Request environment variables Adam Chlipala
• 2012/07/29 Re: [Ur] Request environment variables Edward Z. Yang
• 2012/07/29 Re: [Ur] Request environment variables Adam Chlipala
• 2012/07/29 Re: [Ur] The future of [class] declarations Adam Chlipala
• 2012/07/28 [Ur] Tutorial on polymorphic variants Edward Z. Yang
• 2012/07/27 Re: [Ur] Request environment variables Karn Kallio
• 2012/07/27 [Ur] Request environment variables Edward Z. Yang
• 2012/07/27 Re: [Ur] The future of [class] declarations Karn Kallio
• 2012/07/27 Re: [Ur] The future of [class] declarations Adam Chlipala
• 2012/07/27 Re: [Ur] Bug tracker is spammy Adam Chlipala
• 2012/07/26 [Ur] Bug tracker is spammy Edward Z. Yang
• 2012/07/26 Re: [Ur] The future of [class] declarations Karn Kallio
• 2012/07/26 [Ur] The future of [class] declarations Adam Chlipala
• 2012/07/25 Re: [Ur] Active code? Adam Chlipala
• 2012/07/24 Re: [Ur] Active code? Edward Z. Yang
• 2012/07/24 [Ur] Managing the server/client split in Ur/Web Edward Z. Yang
• 2012/07/24 [Ur] Active code? Adam Chlipala
• 2012/07/23 Re: [Ur] Announcing jsMove Adam Chlipala
• 2012/07/22 Re: [Ur] Announcing jsMove Timothy Beyer
• 2012/07/22 Re: [Ur] New feature round-up Adam Chlipala
• 2012/07/22 Re: [Ur] Announcing jsMove Adam Chlipala
• 2012/07/22 Re: [Ur] New feature round-up Adam Chlipala
• 2012/07/21 Re: [Ur] New feature round-up Edward Z. Yang
• 2012/07/21 [Ur] New feature round-up Adam Chlipala
• 2012/07/20 Re: [Ur] get c or object file from urweb compiler without -debug? Timothy Beyer
• 2012/07/20 Re: [Ur] get c or object file from urweb compiler without -debug? Adam Chlipala
• 2012/07/19 [Ur] get c or object file from urweb compiler without -debug? Timothy Beyer
• 2012/07/16 [Ur] Announcing jsMove Timothy Beyer
• 2012/06/29 Re: [Ur] New Ur/Web application Edward Z. Yang
• 2012/06/29 [Ur] New Ur/Web application Vladimir Shabanov
• 2012/06/23 Re: [Ur] Access to event object on onclick/et al Edward Z. Yang
• 2012/06/23 Re: [Ur] Access to event object on onclick/et al Adam Chlipala
• 2012/06/09 Re: [Ur] variant example Adam Chlipala
• 2012/06/09 [Ur] variant example Gergely Buday
• 2012/05/22 Re: [Ur] Grabbing focus Alexei Golovko
• 2012/05/20 Re: [Ur] Access to event object on onclick/et al Vladimir Shabanov
• 2012/05/20 Re: [Ur] Access to event object on onclick/et al Adam Chlipala
• 2012/05/20 Re: [Ur] Access to event object on onclick/et al Vladimir Shabanov
• 2012/05/19 [Ur] Access to event object on onclick/et al Edward Z. Yang
• 2012/05/19 [Ur] New release Adam Chlipala
• 2012/05/19 Re: [Ur] Catching errors Adam Chlipala
• 2012/05/19 Re: [Ur] Some utility functions to add to base libs? Adam Chlipala
• 2012/05/18 [Ur] Catching errors Edward Z. Yang
• 2012/05/18 Re: [Ur] Grabbing focus Edward Z. Yang
• 2012/05/17 [Ur] Some utility functions to add to base libs? Edward Z. Yang
• 2012/05/17 Re: [Ur] Grabbing focus Edward Z. Yang
• 2012/05/17 Re: [Ur] Grabbing focus Adam Chlipala
• 2012/05/17 [Ur] Grabbing focus Edward Z. Yang
• 2012/05/16 [Ur] Fixes for configure.ac Lance Hepler
• 2012/05/13 Re: [Ur] Ur Digest, Vol 39, Issue 7 Lance Hepler
• 2012/05/13 [Ur] Bootstrap wrapper Adam Chlipala
• 2012/05/13 Re: [Ur] Build failure with gcc 4.7 Patrick Palka
• 2012/05/13 [Ur] Build failure with gcc 4.7 Patrick Palka
• 2012/05/12 Re: [Ur] Issues with automake 1.12 Adam Chlipala
• 2012/05/12 [Ur] Issues with automake 1.12 Lance Hepler
• 2012/05/12 [Ur] New release Adam Chlipala
• 2012/05/06 Re: [Ur] mod_fcgid and Ur/Web Adam Chlipala
• 2012/05/06 [Ur] New support for CSS code in Ur/Web source Adam Chlipala
• 2012/05/06 Re: [Ur] mod_fcgid and Ur/Web Edward Z. Yang
• 2012/05/06 Re: [Ur] mod_fcgid and Ur/Web Adam Chlipala
• 2012/05/06 Re: [Ur] mod_fcgid and Ur/Web Edward Z. Yang
• 2012/05/05 Re: [Ur] mod_fcgid and Ur/Web Adam Chlipala
• 2012/05/05 Re: [Ur] mod_fcgid and Ur/Web Edward Z. Yang
• 2012/05/05 Re: [Ur] mod_fcgid and Ur/Web Adam Chlipala
• 2012/05/05 Re: [Ur] mod_fcgid and Ur/Web Edward Z. Yang
• 2012/05/03 Re: [Ur] mod_fcgid and Ur/Web Edward Z. Yang
• 2012/05/03 Re: [Ur] mod_fcgid and Ur/Web Edward Z. Yang
• 2012/05/03 Re: [Ur] mod_fcgid and Ur/Web Adam Chlipala
• 2012/05/03 Re: [Ur] mod_fcgid and Ur/Web Adam Chlipala
• 2012/05/02 [Ur] mod_fcgid and Ur/Web Edward Z. Yang
• 2012/05/02 Re: [Ur] local urls for the script directive Timothy Beyer
• 2012/05/01 Re: [Ur] local urls for the script directive Austin Seipp
• 2012/05/01 Re: [Ur] local urls for the script directive Edward Z. Yang
• 2012/05/01 Re: [Ur] A few questions about form submission Edward Z. Yang
• 2012/04/30 Re: [Ur] A few questions about form submission Adam Chlipala
• 2012/04/30 Re: [Ur] A few questions about form submission Marc Weber
• 2012/04/29 [Ur] A few questions about form submission Edward Z. Yang
• 2012/04/26 Re: [Ur] Supporting 'style' attribute securely Adam Chlipala
• 2012/04/26 Re: [Ur] local urls for the script directive Adam Chlipala
• 2012/04/25 Re: [Ur] local urls for the script directive Timothy Beyer
• 2012/04/25 Re: [Ur] local urls for the script directive Edward Z. Yang
• 2012/04/25 [Ur] local urls for the script directive Timothy Beyer
• 2012/04/25 Re: [Ur] compiling javascript ffi example Timothy Beyer
• 2012/04/25 Re: [Ur] compiling javascript ffi example Edward Z. Yang
• 2012/04/25 Re: [Ur] compiling javascript ffi example Timothy Beyer
• 2012/04/25 Re: [Ur] compiling javascript ffi example Edward Z. Yang
• 2012/04/25 [Ur] compiling javascript ffi example Timothy Beyer
• 2012/04/24 Re: [Ur] Supporting 'style' attribute securely Adam Chlipala
• 2012/04/24 Re: [Ur] Supporting 'style' attribute securely Alexei Golovko
• 2012/04/24 Re: [Ur] Supporting 'style' attribute securely Adam Chlipala
• 2012/04/24 Re: [Ur] Supporting 'style' attribute securely Adam Chlipala
• 2012/04/23 Re: [Ur] Supporting 'style' attribute securely Edward Z. Yang
• 2012/04/23 Re: [Ur] Supporting 'style' attribute securely Edward Z. Yang
• 2012/04/23 Re: [Ur] Supporting 'style' attribute securely Alexei Golovko
• 2012/04/22 Re: [Ur] Supporting 'style' attribute securely Adam Chlipala
• 2012/04/20 Re: [Ur] Latest build does not work with demo Christopher Done
• 2012/04/20 Re: [Ur] Latest build does not work with demo Adam Chlipala
• 2012/04/20 [Ur] Latest build does not work with demo Christopher Done
• 2012/04/16 Re: [Ur] exploring folders - I still don't get it. Adam Chlipala
• 2012/04/16 [Ur] exploring folders - I still don't get it. Marc Weber
• 2012/04/15 Re: [Ur] Supporting 'style' attribute securely Adam Chlipala
• 2012/04/15 Re: [Ur] Supporting 'style' attribute securely Marc Weber
• 2012/04/15 Re: [Ur] Supporting 'style' attribute securely Adam Chlipala
• 2012/04/15 Re: [Ur] Supporting 'style' attribute securely Marc Weber
• 2012/04/15 Re: [Ur] Supporting 'style' attribute securely Edward Z. Yang
• 2012/04/15 Re: [Ur] Supporting 'style' attribute securely Adam Chlipala
• 2012/04/15 Re: [Ur] Supporting 'style' attribute securely Marc Weber
• 2012/04/15 Re: [Ur] Supporting 'style' attribute securely Adam Chlipala
• 2012/04/15 Re: [Ur] Supporting 'style' attribute securely Edward Z. Yang
• 2012/04/15 [Ur] Supporting 'style' attribute securely Adam Chlipala
• 2012/04/14 Re: [Ur] Polymorphic variants and JSON Edward Z. Yang
• 2012/04/14 Re: [Ur] Polymorphic variants and JSON Edward Z. Yang
• 2012/04/14 Re: [Ur] Polymorphic variants and JSON Edward Z. Yang
• 2012/04/14 Re: [Ur] Polymorphic variants and JSON Adam Chlipala
• 2012/04/14 Re: [Ur] Polymorphic variants and JSON Edward Z. Yang
• 2012/04/14 Re: [Ur] Polymorphic variants and JSON Edward Z. Yang
• 2012/04/14 Re: [Ur] Polymorphic variants and JSON Adam Chlipala
• 2012/04/14 Re: [Ur] Polymorphic variants and JSON Edward Z. Yang
• 2012/04/14 Re: [Ur] Polymorphic variants and JSON Edward Z. Yang
• 2012/04/14 Re: [Ur] Polymorphic variants and JSON Adam Chlipala
• 2012/04/14 Re: [Ur] Polymorphic variants and JSON Edward Z. Yang
• 2012/04/14 Re: [Ur] Polymorphic variants and JSON Edward Z. Yang
• 2012/04/14 Re: [Ur] Polymorphic variants and JSON Adam Chlipala
• 2012/04/14 Re: [Ur] Polymorphic variants and JSON Edward Z. Yang
• 2012/04/14 [Ur] Polymorphic variants and JSON Edward Z. Yang
• 2012/04/09 Re: [Ur] urweb-mode.el improvements Timothy Beyer
• 2012/04/09 Re: [Ur] urweb-mode.el improvements Adam Chlipala
• 2012/04/08 [Ur] urweb-mode.el improvements Timothy Beyer
• 2012/04/05 Re: [Ur] First-Class Polymorphism example Adam Chlipala
• 2012/04/05 Re: [Ur] First-Class Polymorphism example Marc Weber
• 2012/04/04 Re: [Ur] First-Class Polymorphism example Adam Chlipala
• 2012/04/04 [Ur] First-Class Polymorphism example Marc Weber
• 2012/03/29 [Ur] New release Adam Chlipala
• 2012/03/28 Re: [Ur] Opaque ascription Adam Chlipala
• 2012/03/28 Re: [Ur] Opaque ascription Ron de Bruijn
• 2012/03/28 Re: [Ur] Opaque ascription Adam Chlipala
• 2012/03/28 [Ur] Opaque ascription Ron de Bruijn
• 2012/03/10 [Ur] New release Adam Chlipala
• 2012/03/10 Re: [Ur] Radio button default values Adam Chlipala
• 2012/03/07 Re: [Ur] Radio button default values Adam Chlipala
• 2012/03/06 [Ur] Radio button default values Taru Karttunen

• Earlier messages
• Later messages