log

age author description
Tue, 15 Apr 2014 19:12:49 -0400 Adam Chlipala Tweaking uw_commit() logic, partly to fix a resource clean-up bug on SQL serialization failures
Mon, 24 Feb 2014 09:10:31 +0000 Sergey Mironov Add <pre> tag support
Wed, 26 Feb 2014 09:43:47 +0000 Sergey Mironov Protect uw_Basis_new_client_source from invalid ctx->id
Wed, 26 Feb 2014 08:21:52 +0000 Sergey Mironov Define uw_loggers structure, allow FFI code to access it
Sun, 13 Apr 2014 21:36:44 -0400 Adam Chlipala Update manual inaccuracies about client-side functions
Mon, 17 Mar 2014 16:52:10 -0400 Adam Chlipala -explainEmbed
Fri, 07 Mar 2014 11:50:45 -0500 Adam Chlipala getenv calls UNIX getenv() when no special alternative is set
Tue, 04 Mar 2014 08:46:33 -0500 Adam Chlipala Change Basis.getenv to return None outside the context of a web request
Tue, 25 Feb 2014 16:34:04 -0500 Adam Chlipala Parse new bytea output format from Postgres 9.x
Thu, 20 Feb 2014 15:50:33 -0500 Adam Chlipala Tweaked parameter renaming for functors, so now demos and the original bug-triggering application work
Thu, 20 Feb 2014 10:48:17 -0500 Adam Chlipala Fixed issue with datatype constructors inside functors; now on to some problem with modules inside functors
Thu, 20 Feb 2014 10:27:15 -0500 Adam Chlipala Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors
Tue, 18 Feb 2014 07:07:01 -0500 Adam Chlipala Merge with small clean-ups
Mon, 17 Feb 2014 19:25:30 -0500 Patrick Hurst Closing old datetime branch.
Mon, 17 Feb 2014 19:21:46 -0500 Patrick Hurst Add Datetime JavaScript support.