log

age author description
Thu, 17 Apr 2014 17:41:24 -0400 Adam Chlipala uw_register_transactional() can return error codes
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