ur  

Messages by Date

• 2012/03/06 Re: [Ur] "Fatal error: Non-printable character 4294967248 in string to SQLify" Alexei Golovko
• 2012/03/03 Re: [Ur] "Fatal error: Non-printable character 4294967248 in string to SQLify" Adam Chlipala
• 2012/03/03 [Ur] New (basic) e-mail sending library Adam Chlipala
• 2012/02/28 Re: [Ur] Subqueries. Adam Chlipala
• 2012/02/27 Re: [Ur] "Fatal error: Non-printable character 4294967248 in string to SQLify" Alexei Golovko
• 2012/02/27 Re: [Ur] "Fatal error: Non-printable character 4294967248 in string to SQLify" Adam Chlipala
• 2012/02/27 Re: [Ur] "Fatal error: Non-printable character 4294967248 in string to SQLify" Alexei Golovko
• 2012/02/26 Re: [Ur] Subqueries. Alexei Golovko
• 2012/02/26 Re: [Ur] Ur/Web & RDP David Barbour
• 2012/02/26 Re: [Ur] Ur/Web & RDP Adam Chlipala
• 2012/02/26 Re: [Ur] Ur/Web & RDP David Barbour
• 2012/02/26 Re: [Ur] Ur/Web & RDP Adam Chlipala
• 2012/02/25 Re: [Ur] Ur/Web & RDP David Barbour
• 2012/02/25 Re: [Ur] "Fatal error: Non-printable character 4294967248 in string to SQLify" Adam Chlipala
• 2012/02/25 Re: [Ur] Ur/Web & RDP Adam Chlipala
• 2012/02/25 Re: [Ur] Too restrictive syntax sugar for monads (bug #127). Adam Chlipala
• 2012/02/25 Re: [Ur] Subqueries. Adam Chlipala
• 2012/02/25 [Ur] "Fatal error: Non-printable character 4294967248 in string to SQLify" Alexei Golovko
• 2012/02/24 Re: [Ur] Subqueries. Alexei Golovko
• 2012/02/24 Re: [Ur] Subqueries. Gergely Buday
• 2012/02/24 [Ur] Subqueries. Alexei Golovko
• 2012/02/23 [Ur] Ur/Web & RDP David Barbour
• 2012/02/23 Re: [Ur] kind syntax and semantics Alexei Golovko
• 2012/02/23 [Ur] kind syntax and semantics Gergely Buday
• 2012/02/19 Re: [Ur] Too restrictive syntax sugar for monads (bug #127). Alexei Golovko
• 2012/02/18 Re: [Ur] Too restrictive syntax sugar for monads (bug #127). Adam Chlipala
• 2012/02/17 [Ur] Too restrictive syntax sugar for monads (bug #127). Alexei Golovko
• 2012/02/04 Re: [Ur] time measurement Adam Chlipala
• 2012/01/31 Re: [Ur] playing audio Adam Chlipala
• 2012/01/31 Re: [Ur] playing audio Gergely Buday
• 2012/01/31 Re: [Ur] playing audio Marc Weber
• 2012/01/31 Re: [Ur] playing audio Gergely Buday
• 2012/01/31 Re: [Ur] playing audio Chris Double
• 2012/01/31 Re: [Ur] playing audio Marc Weber
• 2012/01/31 [Ur] playing audio Gergely Buday
• 2012/01/30 Re: [Ur] time measurement Gergely Buday
• 2012/01/27 Re: [Ur] time measurement Ron de Bruijn
• 2012/01/27 [Ur] time measurement Gergely Buday
• 2012/01/13 Re: [Ur] meta library commit "id -> ident" broke it ? Adam Chlipala
• 2012/01/12 [Ur] meta library commit "id -> ident" broke it ? Marc Weber
• 2012/01/10 [Ur] New release Adam Chlipala
• 2012/01/10 Re: [Ur] Library for reading external files Adam Chlipala
• 2012/01/10 Re: [Ur] Library for reading external files Taru Karttunen
• 2012/01/09 Re: [Ur] Library for reading external files Adam Chlipala
• 2012/01/09 [Ur] Library for reading external files Taru Karttunen
• 2012/01/07 Re: [Ur] naughtyDebug Adam Chlipala
• 2012/01/07 [Ur] naughtyDebug Gergely Buday
• 2012/01/07 Re: [Ur] debugging xml data Gergely Buday
• 2012/01/06 Re: [Ur] Trouble getting started. Link errors. Adam Chlipala
• 2012/01/05 Re: [Ur] Trouble getting started. Link errors. Steve Sims
• 2012/01/05 Re: [Ur] Trouble getting started. Link errors. Pranjal Vachaspati
• 2012/01/05 Re: [Ur] Trouble getting started. Link errors. Adam Chlipala
• 2012/01/05 Re: [Ur] debugging xml data Marc Weber
• 2012/01/05 Re: [Ur] debugging xml data Adam Chlipala
• 2012/01/05 Re: [Ur] Trouble getting started. Link errors. Pranjal Vachaspati
• 2012/01/05 [Ur] debugging xml data Gergely Buday
• 2012/01/04 Re: [Ur] Trouble getting started. Link errors. Adam Chlipala
• 2012/01/04 Re: [Ur] Encrypted cookies or hashed values Adam Chlipala
• 2012/01/04 [Ur] Encrypted cookies or hashed values Taru Karttunen
• 2012/01/03 Re: [Ur] Trouble getting started. Link errors. Steve Sims
• 2012/01/03 Re: [Ur] Trouble getting started. Link errors. Steve Sims
• 2012/01/03 Re: [Ur] Trouble getting started. Link errors. Adam Chlipala
• 2012/01/03 Re: [Ur] Trouble getting started. Link errors. Adam Chlipala
• 2012/01/03 Re: [Ur] Dynamic form input values Gergely Buday
• 2012/01/03 Re: [Ur] Dynamic form input values Gergely Buday
• 2012/01/03 Re: [Ur] Dynamic form input values Taru Karttunen
• 2012/01/03 Re: [Ur] Dynamic form input values Taru Karttunen
• 2012/01/03 Re: [Ur] Trouble getting started. Link errors. Gergely Buday
• 2012/01/03 Re: [Ur] Dynamic form input values Gergely Buday
• 2012/01/03 [Ur] Dynamic form input values Taru Karttunen
• 2012/01/02 Re: [Ur] Trouble getting started. Link errors. Steve Sims
• 2012/01/02 Re: [Ur] Trouble getting started. Link errors. Adam Chlipala
• 2012/01/02 [Ur] Trouble getting started. Link errors. Steve Sims
• 2011/12/30 [Ur] New library: AJAX-style file upload Adam Chlipala
• 2011/12/30 Re: [Ur] debugging Gergely Buday
• 2011/12/30 Re: [Ur] debugging Ron de Bruijn
• 2011/12/30 [Ur] debugging Gergely Buday
• 2011/12/20 Re: [Ur] implode/explode Adam Chlipala
• 2011/12/20 [Ur] implode/explode Gergely Buday
• 2011/12/19 Re: [Ur] GET vs. POST James Parker
• 2011/12/19 Re: [Ur] GET vs. POST Adam Chlipala
• 2011/12/19 Re: [Ur] Bug Report Marc Weber
• 2011/12/19 Re: [Ur] Bug Report James Parker
• 2011/12/17 Re: [Ur] Bug Report Adam Chlipala
• 2011/12/17 Re: [Ur] Bug Report James Parker
• 2011/12/17 Re: [Ur] Bug Report Adam Chlipala
• 2011/12/16 [Ur] Bug Report James Parker
• 2011/12/16 Re: [Ur] Linking to C Libraries James Parker
• 2011/12/16 Re: [Ur] Linking to C Libraries Marc Weber
• 2011/12/16 Re: [Ur] Linking to C Libraries Adam Chlipala
• 2011/12/16 [Ur] Linking to C Libraries James Parker
• 2011/12/15 Re: [Ur] where to put disjointness proof when concatenating two type level records? Marc Weber
• 2011/12/15 Re: [Ur] where to put disjointness proof when concatenating two type level records? Adam Chlipala
• 2011/12/15 Re: [Ur] where to put disjointness proof when concatenating two type level records? Marc Weber
• 2011/12/15 Re: [Ur] where to put disjointness proof when concatenating two type level records? Gergely Buday
• 2011/12/15 Re: [Ur] where to put disjointness proof when concatenating two type level records? Marc Weber
• 2011/12/15 [Ur] where to put disjointness proof when concatenating two type level records? Marc Weber
• 2011/12/13 Re: [Ur] Function constructors Adam Chlipala
• 2011/12/13 [Ur] Function constructors sampath kirupa shankar
• 2011/12/11 Re: [Ur] Building site templates Adam Chlipala
• 2011/12/10 Re: [Ur] Building site templates James Parker
• 2011/12/10 Re: [Ur] Building site templates Adam Chlipala
• 2011/12/10 Re: [Ur] Building site templates James Parker
• 2011/12/06 Re: [Ur] Building site templates Adam Chlipala
• 2011/12/06 Re: [Ur] Building site templates austin seipp
• 2011/12/06 Re: [Ur] Building site templates James Parker
• 2011/12/06 Re: [Ur] Building site templates Adam Chlipala
• 2011/12/05 [Ur] Building site templates James Parker
• 2011/12/03 Re: [Ur] unurlify Gergely Buday
• 2011/12/03 Re: [Ur] unurlify Adam Chlipala
• 2011/12/01 Re: [Ur] introducing a name in functor body Adam Chlipala
• 2011/12/01 Re: [Ur] introducing a name in functor body Gergely Buday
• 2011/12/01 Re: [Ur] introducing a name in functor body Adam Chlipala
• 2011/12/01 Re: [Ur] introducing a name in functor body Gergely Buday
• 2011/12/01 Re: [Ur] introducing a name in functor body Adam Chlipala
• 2011/12/01 Re: [Ur] introducing a name in functor body Adam Chlipala
• 2011/12/01 [Ur] introducing a name in functor body Gergely Buday
• 2011/12/01 Re: [Ur] unurlify Gergely Buday
• 2011/12/01 Re: [Ur] unurlify Adam Chlipala
• 2011/12/01 Re: [Ur] Shell Account DB Access Gergely Buday
• 2011/12/01 Re: [Ur] Shell Account DB Access Marc Weber
• 2011/11/30 Re: [Ur] Shell Account DB Access sampath kirupa shankar
• 2011/11/30 Re: [Ur] Shell Account DB Access Gian Perrone
• 2011/11/30 [Ur] Shell Account DB Access sampath kirupa shankar
• 2011/11/30 Re: [Ur] NEW USER NEED HELP WITH INSTALLATION Adam Chlipala
• 2011/11/30 Re: [Ur] NEW USER NEED HELP WITH INSTALLATION Marc Weber
• 2011/11/30 Re: [Ur] NEW USER NEED HELP WITH INSTALLATION sampath kirupa shankar
• 2011/11/30 [Ur] unurlify Gergely Buday
• 2011/11/30 Re: [Ur] NEW USER NEED HELP WITH INSTALLATION Marc Weber
• 2011/11/30 Re: [Ur] NEW USER NEED HELP WITH INSTALLATION Adam Chlipala
• 2011/11/29 Re: [Ur] NEW USER NEED HELP WITH INSTALLATION sampath kirupa shankar
• 2011/11/29 Re: [Ur] MY_ORD = resolving eq class instance / functor? Adam Chlipala
• 2011/11/28 Re: [Ur] MY_ORD = resolving eq class instance / functor? Marc Weber
• 2011/11/28 Re: [Ur] MY_ORD = resolving eq class instance / functor? Adam Chlipala
• 2011/11/28 Re: [Ur] MY_ORD = resolving eq class instance / functor? Marc Weber
• 2011/11/28 Re: [Ur] ur ready for writing offline apps on windows? Adam Chlipala
• 2011/11/28 Re: [Ur] MY_ORD = resolving eq class instance / functor? Adam Chlipala
• 2011/11/28 Re: [Ur] 1/0 stopping server? Adam Chlipala
• 2011/11/28 [Ur] MY_ORD = resolving eq class instance / functor? Marc Weber
• 2011/11/28 [Ur] ur ready for writing offline apps on windows? Marc Weber
• 2011/11/28 Re: [Ur] 1/0 stopping server? Marc Weber
• 2011/11/28 Re: [Ur] 1/0 stopping server? Ron de Bruijn
• 2011/11/27 [Ur] 1/0 stopping server? Marc Weber
• 2011/11/27 [Ur] New release Adam Chlipala
• 2011/11/24 Re: [Ur] row.T Adam Chlipala
• 2011/11/24 Re: [Ur] folder Ron de Bruijn
• 2011/11/24 Re: [Ur] folder Adam Chlipala
• 2011/11/24 [Ur] folder Gergely Buday
• 2011/11/24 Re: [Ur] row.T Gergely Buday
• 2011/11/23 Re: [Ur] row.T Adam Chlipala
• 2011/11/23 Re: [Ur] row.T Ron de Bruijn
• 2011/11/23 [Ur] row.T Gergely Buday
• 2011/11/20 Re: [Ur] Parse errors James Parker
• 2011/11/20 Re: [Ur] Parse errors Adam Chlipala
• 2011/11/20 Re: [Ur] Parse errors James Parker
• 2011/11/20 Re: [Ur] Parse errors Adam Chlipala
• 2011/11/20 Re: [Ur] Parse errors James Parker
• 2011/11/20 Re: [Ur] Parse errors Adam Chlipala
• 2011/11/20 [Ur] Parse errors James Parker
• 2011/11/17 Re: [Ur] XHTML character entities Adam Chlipala
• 2011/11/16 Re: [Ur] XHTML character entities Karn Kallio
• 2011/11/16 Re: [Ur] XHTML character entities Karn Kallio
• 2011/11/16 Re: [Ur] XHTML character entities Adam Chlipala
• 2011/11/15 Re: [Ur] XHTML character entities (was: File I/O) James Parker
• 2011/11/10 Re: [Ur] signal monad semantics Adam Chlipala
• 2011/11/10 Re: [Ur] signal monad semantics Ron de Bruijn
• 2011/11/10 [Ur] signal monad semantics Gergely Buday
• 2011/11/05 Re: [Ur] XHTML character entities (was: File I/O) Adam Chlipala
• 2011/11/05 Re: [Ur] Grammar inconsistencies Adam Chlipala
• 2011/11/05 [Ur] Grammar inconsistencies Ron de Bruijn
• 2011/11/04 Re: [Ur] File I/O Adam Chlipala
• 2011/11/03 Re: [Ur] stateful structure? Adam Chlipala
• 2011/11/03 Re: [Ur] stateful structure? Gergely Buday
• 2011/11/03 Re: [Ur] stateful structure? Adam Chlipala
• 2011/11/03 Re: [Ur] stateful structure? Marc Weber
• 2011/11/03 Re: [Ur] stateful structure? Gergely Buday
• 2011/11/03 Re: [Ur] stateful structure? Gergely Buday
• 2011/11/02 Re: [Ur] stateful structure? Adam Chlipala
• 2011/11/02 Re: [Ur] error reporting Gian Perrone
• 2011/11/02 Re: [Ur] File I/O Adam Chlipala
• 2011/11/02 Re: [Ur] error reporting Adam Chlipala
• 2011/11/02 Re: [Ur] stateful structure? Marc Weber
• 2011/11/02 [Ur] stateful structure? Gergely Buday
• 2011/11/02 Re: [Ur] File I/O James Parker
• 2011/11/02 [Ur] error reporting Gergely Buday
• 2011/11/02 Re: [Ur] common type for different functor instantiations Adam Chlipala
• 2011/11/02 Re: [Ur] common type for different functor instantiations Gergely Buday
• 2011/11/02 Re: [Ur] common type for different functor instantiations Gergely Buday
• 2011/11/01 Re: [Ur] File I/O Adam Chlipala
• 2011/11/01 Re: [Ur] File I/O James Parker
• 2011/11/01 Re: [Ur] File I/O Adam Chlipala
• 2011/11/01 Re: [Ur] File I/O James Parker
• 2011/11/01 Re: [Ur] File I/O Marc Weber
• 2011/11/01 Re: [Ur] File I/O Adam Chlipala
• 2011/10/31 Re: [Ur] File I/O Marc Weber
• 2011/10/31 [Ur] File I/O James Parker
• 2011/10/31 Re: [Ur] Undocumented folder functionality? Adam Chlipala
• 2011/10/31 [Ur] Undocumented folder functionality? Ron de Bruijn
• 2011/10/29 Re: [Ur] very long error messages Adam Chlipala
• 2011/10/27 Re: [Ur] common type for different functor instantiations Adam Chlipala

• Earlier messages
• Later messages